A logic puzzle in which one is asked to infer one or more facts from a set of given facts.
Subjects: Mathematics
