Truth and lie analysis for four witnesses in a logic puzzle

Expert intro: This is a classic consistency check: the statements are linked, so you do not guess one by one. Instead, treat each witness as either true or false and see which combinations survive the rules.

Detailed walkthrough

Let the four witnesses be:

• B = butler
• C = cook
• G = gardener
• H = handyman

Let “true” mean the witness is telling the truth.

We are told:

1. If the butler is telling the truth, then so is the cook:
   $B \to C$
2. The cook and the gardener cannot both be telling the truth:
   $\neg(C \land G)$
3. The gardener and the handyman are not both lying:
   $\neg(\neg G \land \neg H)$ which is the same as
   $G \lor H$
4. If the handyman is telling the truth, then the cook is lying:
   $H \to \neg C$

Now test the possible combinations.

Step 1: Suppose the butler is telling the truth

Then by rule 1, the cook must be telling the truth.

But rule 2 says the cook and gardener cannot both be true, so the gardener must be lying.

Rule 3 says at least one of gardener or handyman is true. Since the gardener is lying, the handyman must be telling the truth.

Then rule 4 says if the handyman is true, the cook must be lying. That contradicts the earlier conclusion that the cook is true.

So the butler cannot be telling the truth.

Step 2: Therefore the butler is lying

Now rule 1 gives no direct information, because an implication with a false hypothesis is automatically true.

We still have:

• $\neg(B)$
• $\neg(C \land G)$
• $G \lor H$
• $H \to \neg C$

Step 3: Can we determine the others uniquely?

No. There are multiple consistent assignments.

For example:

• If G is true, then rule 3 is satisfied, rule 2 forces C to be false, and H may be either true or false as long as rule 4 is respected.
• If H is true, then C must be false by rule 4, and rule 3 forces G to be true.

One consistent assignment is:

• Butler false
• Cook false
• Gardener true
• Handyman true

Another is:

• Butler false
• Cook false
• Gardener true
• Handyman false

So the detective can determine only one thing for sure:

• The butler is lying.

The truth values of the cook, gardener, and handyman are not uniquely determined from the information given.

💡 Pitfall guide

A common mistake is to treat each statement as if it were independent. They are chained together, so one contradiction can force a whole branch to collapse. Also, be careful with rule 3: “not both lying” means at least one of them is telling the truth, not that both are true.

🔄 Real-world variant

If rule 4 were changed to “If the handyman is telling the truth, then the cook is telling the truth,” the system would become much looser and could allow several more truth assignments. If rule 3 were changed to “the gardener and the handyman are both lying,” then the gardener and handyman would be forced false, which would immediately force the cook true or false depending on the remaining rules. Small wording changes make a big difference in logic puzzles.

🔍 Related terms

conditional statement, truth table, logical consistency