checking unexpected inferences