simple biconditional inference engine