Three cat owners

What this logic puzzle tests

This is a hard constraint-satisfaction puzzle that requires systematic reasoning about consistency and truthfulness. It combines elements of logical deduction, arithmetic relationships, and the ability to track which statements must be true or false based on a hidden ordering.

The problem gives you a rule: whether a speaker tells the truth or lies depends entirely on their cat count relative to the listener's. Your job is to find the only assignment of cat counts to three people that makes all four statements consistent with this rule. This tests whether you can build and check a mathematical model under pressure, ruling out impossible cases methodically rather than guessing.

• Constraint propagation and logical consistency
• Reasoning backward from a truthfulness rule to derive variable bounds
• Eliminating impossible orderings and checking residual cases