Master conditional_logic_puzzle - Intermediate-Advanced Level Problems conditional_logic_puzzle INTERMEDIATE ADVANCED

Given: If Priya is a truth-teller

Step 1: Priya tells truth → 'Leena is liar' is true → Leena is liar.
Step 2: Leena (liar) says 'Sanjay is truth-teller' → this statement is false → Sanjay is liar.
Step 3: Sanjay (liar) says 'Harsha and I are different types' → this statement is false → Harsha is SAME type as Sanjay → Harsha is liar.
Step 4: Harsha (liar) says 'Priya is truth-teller' → this statement is false → Priya is liar → CONTRADICTION with our assumption!

This shows that Priya CANNOT be a truth-teller under these statements.
However, the conditional question asks: IF we assume Priya is truth-teller, who MUST be a liar? From step 1, Leena must be a liar.

Therefore, under the given condition, Leena must be a liar.

Given: If Neha is a truth-teller

Step 1: Neha tells truth → 'Deepa is liar' is true → Deepa is liar.
Step 2: Deepa (liar) says 'Rahul is truth-teller' → this statement is false → Rahul is liar.
Step 3: Rahul (liar) says 'Manoj and I are different types' → this statement is false → Manoj is SAME type as Rahul → Manoj is liar.
Step 4: Manoj (liar) says 'Neha is truth-teller' → this statement is false → Neha is liar → CONTRADICTION with our assumption!

This shows that Neha CANNOT be a truth-teller under these statements.
However, the conditional question asks: IF we assume Neha is truth-teller, who MUST be a liar? From step 1, Deepa must be a liar.

Therefore, under the given condition, Deepa must be a liar.

Given: If Amit is a truth-teller

Step 1: Amit tells truth → 'Rahul is liar' is true → Rahul is liar.
Step 2: Rahul (liar) says 'Farhan is truth-teller' → this statement is false → Farhan is liar.
Step 3: Farhan (liar) says 'Kiran and I are different types' → this statement is false → Kiran is SAME type as Farhan → Kiran is liar.
Step 4: Kiran (liar) says 'Amit is truth-teller' → this statement is false → Amit is liar → CONTRADICTION with our assumption!

This shows that Amit CANNOT be a truth-teller under these statements.
However, the conditional question asks: IF we assume Amit is truth-teller, who MUST be a liar? From step 1, Rahul must be a liar.

Therefore, under the given condition, Rahul must be a liar.

Given: If Gaurav is a truth-teller

Step 1: Gaurav tells truth → 'Leena is liar' is true → Leena is liar.
Step 2: Leena (liar) says 'Ravi is truth-teller' → this statement is false → Ravi is liar.
Step 3: Ravi (liar) says 'Sunil and I are different types' → this statement is false → Sunil is SAME type as Ravi → Sunil is liar.
Step 4: Sunil (liar) says 'Gaurav is truth-teller' → this statement is false → Gaurav is liar → CONTRADICTION with our assumption!

This shows that Gaurav CANNOT be a truth-teller under these statements.
However, the conditional question asks: IF we assume Gaurav is truth-teller, who MUST be a liar? From step 1, Leena must be a liar.

Therefore, under the given condition, Leena must be a liar.

Given: If Rohan is a truth-teller

Step 1: Rohan tells truth → 'Priya is liar' is true → Priya is liar.
Step 2: Priya (liar) says 'Pooja is truth-teller' → this statement is false → Pooja is liar.
Step 3: Pooja (liar) says 'Vikram and I are different types' → this statement is false → Vikram is SAME type as Pooja → Vikram is liar.
Step 4: Vikram (liar) says 'Rohan is truth-teller' → this statement is false → Rohan is liar → CONTRADICTION with our assumption!

This shows that Rohan CANNOT be a truth-teller under these statements.
However, the conditional question asks: IF we assume Rohan is truth-teller, who MUST be a liar? From step 1, Priya must be a liar.

Therefore, under the given condition, Priya must be a liar.

Given: If Sunil is a truth-teller

Step 1: Sunil tells truth → 'Anita is liar' is true → Anita is liar.
Step 2: Anita (liar) says 'Gaurav is truth-teller' → this statement is false → Gaurav is liar.
Step 3: Gaurav (liar) says 'Priya and I are different types' → this statement is false → Priya is SAME type as Gaurav → Priya is liar.
Step 4: Priya (liar) says 'Sunil is truth-teller' → this statement is false → Sunil is liar → CONTRADICTION with our assumption!

This shows that Sunil CANNOT be a truth-teller under these statements.
However, the conditional question asks: IF we assume Sunil is truth-teller, who MUST be a liar? From step 1, Anita must be a liar.

Therefore, under the given condition, Anita must be a liar.

Given: If Priya is a truth-teller

Step 1: Priya tells truth → 'Rahul is liar' is true → Rahul is liar.
Step 2: Rahul (liar) says 'Leena is truth-teller' → this statement is false → Leena is liar.
Step 3: Leena (liar) says 'Meera and I are different types' → this statement is false → Meera is SAME type as Leena → Meera is liar.
Step 4: Meera (liar) says 'Priya is truth-teller' → this statement is false → Priya is liar → CONTRADICTION with our assumption!

This shows that Priya CANNOT be a truth-teller under these statements.
However, the conditional question asks: IF we assume Priya is truth-teller, who MUST be a liar? From step 1, Rahul must be a liar.

Therefore, under the given condition, Rahul must be a liar.

Given: If Harsha is a truth-teller

Step 1: Harsha tells truth → 'Meera is liar' is true → Meera is liar.
Step 2: Meera (liar) says 'Leena is truth-teller' → this statement is false → Leena is liar.
Step 3: Leena (liar) says 'Priya and I are different types' → this statement is false → Priya is SAME type as Leena → Priya is liar.
Step 4: Priya (liar) says 'Harsha is truth-teller' → this statement is false → Harsha is liar → CONTRADICTION with our assumption!

This shows that Harsha CANNOT be a truth-teller under these statements.
However, the conditional question asks: IF we assume Harsha is truth-teller, who MUST be a liar? From step 1, Meera must be a liar.

Therefore, under the given condition, Meera must be a liar.

Given: If Divya is a truth-teller

Step 1: Divya tells truth → 'Meera is liar' is true → Meera is liar.
Step 2: Meera (liar) says 'Sunil is truth-teller' → this statement is false → Sunil is liar.
Step 3: Sunil (liar) says 'Ravi and I are different types' → this statement is false → Ravi is SAME type as Sunil → Ravi is liar.
Step 4: Ravi (liar) says 'Divya is truth-teller' → this statement is false → Divya is liar → CONTRADICTION with our assumption!

This shows that Divya CANNOT be a truth-teller under these statements.
However, the conditional question asks: IF we assume Divya is truth-teller, who MUST be a liar? From step 1, Meera must be a liar.

Therefore, under the given condition, Meera must be a liar.

Given: If Kiran is a truth-teller

Step 1: Kiran tells truth → 'Deepa is liar' is true → Deepa is liar.
Step 2: Deepa (liar) says 'Vikram is truth-teller' → this statement is false → Vikram is liar.
Step 3: Vikram (liar) says 'Priya and I are different types' → this statement is false → Priya is SAME type as Vikram → Priya is liar.
Step 4: Priya (liar) says 'Kiran is truth-teller' → this statement is false → Kiran is liar → CONTRADICTION with our assumption!

This shows that Kiran CANNOT be a truth-teller under these statements.
However, the conditional question asks: IF we assume Kiran is truth-teller, who MUST be a liar? From step 1, Deepa must be a liar.

Therefore, under the given condition, Deepa must be a liar.

Given: If Leena is a truth-teller

Step 1: Leena tells truth → 'Neha is liar' is true → Neha is liar.
Step 2: Neha (liar) says 'Rohan is truth-teller' → this statement is false → Rohan is liar.
Step 3: Rohan (liar) says 'Pooja and I are different types' → this statement is false → Pooja is SAME type as Rohan → Pooja is liar.
Step 4: Pooja (liar) says 'Leena is truth-teller' → this statement is false → Leena is liar → CONTRADICTION with our assumption!

This shows that Leena CANNOT be a truth-teller under these statements.
However, the conditional question asks: IF we assume Leena is truth-teller, who MUST be a liar? From step 1, Neha must be a liar.

Therefore, under the given condition, Neha must be a liar.

Given: If Kiran is a truth-teller

Step 1: Kiran tells truth → 'Rohan is liar' is true → Rohan is liar.
Step 2: Rohan (liar) says 'Farhan is truth-teller' → this statement is false → Farhan is liar.
Step 3: Farhan (liar) says 'Leena and I are different types' → this statement is false → Leena is SAME type as Farhan → Leena is liar.
Step 4: Leena (liar) says 'Kiran is truth-teller' → this statement is false → Kiran is liar → CONTRADICTION with our assumption!

This shows that Kiran CANNOT be a truth-teller under these statements.
However, the conditional question asks: IF we assume Kiran is truth-teller, who MUST be a liar? From step 1, Rohan must be a liar.

Therefore, under the given condition, Rohan must be a liar.

Given: If Meera is a truth-teller

Step 1: Meera tells truth → 'Vikram is liar' is true → Vikram is liar.
Step 2: Vikram (liar) says 'Gaurav is truth-teller' → this statement is false → Gaurav is liar.
Step 3: Gaurav (liar) says 'Kiran and I are different types' → this statement is false → Kiran is SAME type as Gaurav → Kiran is liar.
Step 4: Kiran (liar) says 'Meera is truth-teller' → this statement is false → Meera is liar → CONTRADICTION with our assumption!

This shows that Meera CANNOT be a truth-teller under these statements.
However, the conditional question asks: IF we assume Meera is truth-teller, who MUST be a liar? From step 1, Vikram must be a liar.

Therefore, under the given condition, Vikram must be a liar.

Given: If Sunil is a truth-teller

Step 1: Sunil tells truth → 'Pooja is liar' is true → Pooja is liar.
Step 2: Pooja (liar) says 'Deepa is truth-teller' → this statement is false → Deepa is liar.
Step 3: Deepa (liar) says 'Harsha and I are different types' → this statement is false → Harsha is SAME type as Deepa → Harsha is liar.
Step 4: Harsha (liar) says 'Sunil is truth-teller' → this statement is false → Sunil is liar → CONTRADICTION with our assumption!

This shows that Sunil CANNOT be a truth-teller under these statements.
However, the conditional question asks: IF we assume Sunil is truth-teller, who MUST be a liar? From step 1, Pooja must be a liar.

Therefore, under the given condition, Pooja must be a liar.

Given: If Gaurav is a truth-teller

Step 1: Gaurav tells truth → 'Amit is liar' is true → Amit is liar.
Step 2: Amit (liar) says 'Anita is truth-teller' → this statement is false → Anita is liar.
Step 3: Anita (liar) says 'Sanjay and I are different types' → this statement is false → Sanjay is SAME type as Anita → Sanjay is liar.
Step 4: Sanjay (liar) says 'Gaurav is truth-teller' → this statement is false → Gaurav is liar → CONTRADICTION with our assumption!

This shows that Gaurav CANNOT be a truth-teller under these statements.
However, the conditional question asks: IF we assume Gaurav is truth-teller, who MUST be a liar? From step 1, Amit must be a liar.

Therefore, under the given condition, Amit must be a liar.

Given: If Deepa is a truth-teller

Step 1: Deepa tells truth → 'Pooja is liar' is true → Pooja is liar.
Step 2: Pooja (liar) says 'Manoj is truth-teller' → this statement is false → Manoj is liar.
Step 3: Manoj (liar) says 'Sunil and I are different types' → this statement is false → Sunil is SAME type as Manoj → Sunil is liar.
Step 4: Sunil (liar) says 'Deepa is truth-teller' → this statement is false → Deepa is liar → CONTRADICTION with our assumption!

This shows that Deepa CANNOT be a truth-teller under these statements.
However, the conditional question asks: IF we assume Deepa is truth-teller, who MUST be a liar? From step 1, Pooja must be a liar.

Therefore, under the given condition, Pooja must be a liar.

Given: If Pooja is a truth-teller

Step 1: Pooja tells truth → 'Amit is liar' is true → Amit is liar.
Step 2: Amit (liar) says 'Harsha is truth-teller' → this statement is false → Harsha is liar.
Step 3: Harsha (liar) says 'Deepa and I are different types' → this statement is false → Deepa is SAME type as Harsha → Deepa is liar.
Step 4: Deepa (liar) says 'Pooja is truth-teller' → this statement is false → Pooja is liar → CONTRADICTION with our assumption!

This shows that Pooja CANNOT be a truth-teller under these statements.
However, the conditional question asks: IF we assume Pooja is truth-teller, who MUST be a liar? From step 1, Amit must be a liar.

Therefore, under the given condition, Amit must be a liar.

Given: If Rahul is a truth-teller

Step 1: Rahul tells truth → 'Rohan is liar' is true → Rohan is liar.
Step 2: Rohan (liar) says 'Anita is truth-teller' → this statement is false → Anita is liar.
Step 3: Anita (liar) says 'Pooja and I are different types' → this statement is false → Pooja is SAME type as Anita → Pooja is liar.
Step 4: Pooja (liar) says 'Rahul is truth-teller' → this statement is false → Rahul is liar → CONTRADICTION with our assumption!

This shows that Rahul CANNOT be a truth-teller under these statements.
However, the conditional question asks: IF we assume Rahul is truth-teller, who MUST be a liar? From step 1, Rohan must be a liar.

Therefore, under the given condition, Rohan must be a liar.

Given: If Gaurav is a truth-teller

Step 1: Gaurav tells truth → 'Leena is liar' is true → Leena is liar.
Step 2: Leena (liar) says 'Deepa is truth-teller' → this statement is false → Deepa is liar.
Step 3: Deepa (liar) says 'Rahul and I are different types' → this statement is false → Rahul is SAME type as Deepa → Rahul is liar.
Step 4: Rahul (liar) says 'Gaurav is truth-teller' → this statement is false → Gaurav is liar → CONTRADICTION with our assumption!

This shows that Gaurav CANNOT be a truth-teller under these statements.
However, the conditional question asks: IF we assume Gaurav is truth-teller, who MUST be a liar? From step 1, Leena must be a liar.

Therefore, under the given condition, Leena must be a liar.

Given: If Vikram is a truth-teller

Step 1: Vikram tells truth → 'Anita is liar' is true → Anita is liar.
Step 2: Anita (liar) says 'Gaurav is truth-teller' → this statement is false → Gaurav is liar.
Step 3: Gaurav (liar) says 'Ravi and I are different types' → this statement is false → Ravi is SAME type as Gaurav → Ravi is liar.
Step 4: Ravi (liar) says 'Vikram is truth-teller' → this statement is false → Vikram is liar → CONTRADICTION with our assumption!

This shows that Vikram CANNOT be a truth-teller under these statements.
However, the conditional question asks: IF we assume Vikram is truth-teller, who MUST be a liar? From step 1, Anita must be a liar.

Therefore, under the given condition, Anita must be a liar.