The machine takes as input: Commonsense facts: If A is taller than B and B is taller than C, then A is taller than C. Statements: Sue is the same height as Pat. Mary is taller than Sue. Jane is taller than Mary. A question: Is Jane taller than Pat? The output of the machine is: Yes, because Jane is taller than Mary. Mary is taller than Sue and Sue is the same height as Pat.