Truth, information and constraint deduction

Translate words precisely, then test all possibilities rather than the most convenient one.

Negate quantified statements and separate implication from its converse.

Model truth-tellers and liars using complete truth conditions.

Cancel shared information and verify that local deductions fit globally.