inference-logic