AMC 10 · 2021 · #4

Grade 5 logic
logical-deductioncontrapositiveif-then-reasoning caseworksystematic-enumeration ↑ Prerequisites: if-then-reasoning
📏 Medium solution 💡 2 insights
📘 View easy version →
Problem
Someone owns 13 snakes. Some are purple, some are happy, some can add, some can subtract. Three facts are given: every happy snake can add; no purple snake can subtract; and every snake that cannot subtract also cannot add. Which of the five conclusions is forced by these three facts?

Pick an answer.

(A)
Purple snakes can add.
(B)
Purple snakes are happy.
(C)
Snakes that can add are purple.
(D)
Happy snakes are not purple.
(E)
Happy snakes can't subtract.
How to solve
Strategy Eliminate Possibilities

Five answer choices, all multiple-choice — Tool #3 (Eliminate Possibilities) tests each in turn against the three given facts. Tool #1 (Draw a Diagram) sketches the facts as arrows between properties so the chain is visible. Tool #7 (Identify Subproblems) splits the work: first chain facts 2 and 3, then bring in the contrapositive of fact 1, then read off which arrow lands on the answer.

1STEP 1

Write the facts as arrows

Write the three facts as arrows.

happy→add, purple→¬sub, ¬sub→¬add
2STEP 2

Chain from purple

Purple chains to cannot add.

purple → ¬sub → ¬add
3STEP 3

Reverse with the contrapositive

The contrapositive reverses the last arrow.

happy→add ⟺ ¬add→¬happy
4STEP 4

Complete the chain

Purple now chains to not happy.

purple → ¬add → ¬happy ⟺ happy→¬purple
5STEP 5

Match the choice

The answer is happy snakes are not purple.

(D): happy→¬purple ✓
Answer
Happy snakes are not purple.
Test by constructing a concrete example. Suppose a snake is happy. By fact 1 it can add. If it were also purple, then by fact 2 it cannot subtract, and by fact 3 it cannot add — but we just said it can add. Contradiction. So a happy snake cannot be purple — confirming (D). The counts 13, 4, 5 never entered the argument, exactly as the problem implied by their roundness.
💡Key takeaway

This AMC 12 problem only needs Grade 5 category reasoning you already know — turn each "all A are B" into an arrow, chain purple → not-subtract → not-add and flip happy → can-add to its contrapositive, and the chain gives happy → not-purple, which is choice (D).