AMC 10 · 2007 · #5
Easy mode Grade 5In a faraway land live four kinds of creatures: Arogs, Brafs, Crups, and Dramps. Here is what is true about them: every Arog is a Braf, every Crup is a Braf, every Dramp is an Arog, and every Crup is a Dramp. Which one of these statements must also be true?
Pick an answer.
AMC 10 2007 problem © Mathematical Association of America (MAA AMC). Reproduced for educational use.
Try it yourself first — the explanation is most useful after you’ve attempted it.
Toolkit + CCSS Solution
Understand
Restated: Four kinds of things follow nested rules: every Arog is a Braf, every Crup is a Braf, every Dramp is an Arog, and every Crup is a Dramp. Decide which of the five statements must always be true because of these rules.
Givens: All Arogs are Brafs.; All Crups are Brafs.; All Dramps are Arogs.; All Crups are Dramps.
Unknowns: Which answer choice is forced to be true by the four rules
Understand
Restated: Four kinds of things follow nested rules: every Arog is a Braf, every Crup is a Braf, every Dramp is an Arog, and every Crup is a Dramp. Decide which of the five statements must always be true because of these rules.
Givens: All Arogs are Brafs.; All Crups are Brafs.; All Dramps are Arogs.; All Crups are Dramps.
Plan
Primary tool: #12 Draw a Venn Diagram
Secondary: #3 Eliminate Possibilities
Each rule "all X are Y" says the X group sits completely inside the Y group, so draw one circle inside another. Once the circles are nested correctly, every answer choice can be read straight off the picture, and choices that reverse a containment can be eliminated.
Execute — Answer: D
5.G.B.4 Step 1 Turn each rule into a circle inside a circle
- "All X are Y" means the whole X circle fits inside the Y circle.
- So: the Arog circle sits inside the Braf circle; the Crup circle sits inside the Braf circle; the Dramp circle sits inside the Arog circle; and the Crup circle sits inside the Dramp circle.
💡 A containment rule is just one circle swallowed by a bigger one.
5.G.B.3 Step 2 Stack the circles into one chain
- Follow the nesting from the smallest group out.
- Crups are inside Dramps, Dramps are inside Arogs, and Arogs are inside Brafs.
- That gives one clean stack: Crups inside Dramps inside Arogs inside Brafs.
- (The rule "all Crups are Brafs" is already guaranteed by this stack.)
💡 If each group hides inside the next, everything a small group belongs to, a bigger surrounding group belongs to too.
5.G.B.4 Step 3 Test every choice against the stack
- Read each claim off the stack Crups inside Dramps inside Arogs inside Brafs.
- (A) says all Dramps are Crups, but Crups is the smaller inner circle, so this reverses the containment and fails.
- (B) says all Brafs are Crups and Dramps, reversing the whole stack, so it fails.
- (C) says all Arogs are Crups and Dramps, again pulling a big circle into small ones, so it fails.
- (E) says all Arogs are Dramps, but Arogs is the larger circle, so it fails.
- (D) says all Crups are Arogs and are Brafs: Crups sits inside Dramps inside Arogs inside Brafs, so every Crup really is an Arog and a Braf.
- Only (D) matches the picture, so the answer is (D).
💡 A true claim only ever moves outward in the stack, from a smaller circle to a larger one.
5.G.B.4 "All X are Y" means the whole X circle fits inside the Y circle. So: the Arog ci 5.G.B.3 Follow the nesting from the smallest group out. Crups are inside Dramps, Dramps 5.G.B.4 Read each claim off the stack Crups inside Dramps inside Arogs inside Brafs. (A) Review
Reasonableness: Swap the names for familiar nested groups: Crups = squares, Dramps = rhombi... any concrete stack works. With Crups inside Dramps inside Arogs inside Brafs, the only safe claims run from an inner group to an outer one. "All Crups are Arogs and Brafs" runs outward from the innermost circle, so it must hold, while every other choice tries to force an outer group into an inner one and breaks.
Alternative: Instead of a diagram, chain the rules symbolically: all Crups are Dramps, all Dramps are Arogs, so all Crups are Arogs; and all Arogs are Brafs, so all Crups are Brafs. That transitive chain lands directly on choice (D) without drawing anything.
CCSS standards used (min grade 5)
5.G.B.3Understand that attributes belonging to a category apply to all subcategories (Recognizing that once a small group sits inside a larger one, membership in the larger group is inherited automatically.)5.G.B.4Classify two-dimensional figures in a hierarchy based on properties (Arranging Crups, Dramps, Arogs, and Brafs into a single nested hierarchy and reading valid claims off it.)
⭐ Turn each "all X are Y" into a circle inside a circle, then only trust claims that go from a smaller circle out to a bigger one.
⭐ Turn each "all X are Y" into a circle inside a circle, then only trust claims that go from a smaller circle out to a bigger one.
More like this
Same problem type. Tags show what each one shares with this problem.
- AMC 10 2021A #7 Gr 5Similar levelSame sub-type: Logic-Deduction / EliminationUsesSystematic Enumeration Casework
Tom has a collection of 13 snakes, 4 of which are purple and 5 of which are happy. He observes that all of his happy sna…
- AMC 10 2022B #6 Gr 5Similar levelSame sub-type: Logic-Deduction / EliminationUsesSolve an Easier Related Problem Pattern Recognition
How many of the first ten numbers of the sequence 121, 11211, 1112111, … are prime numbers?
- AMC 8 1999 #15 Gr 5Similar levelSame sub-type: Logic-Deduction / EliminationUsesOptimization with Counting Systematic Enumeration
Bicycle license plates in Flatville each contain three letters. The first is chosen from the set {C,H,L,P,R}, the second…