
Divide entities into 2+ groups. "Which students are on Team 1 vs Team 2?"
Setup: Draw columns for each group. List entities to assign.
Team 1: ___ ___ ___
Team 2: ___ ___ ___
Common rules:
"A and B are on the same team" → AB block
"C and D are on different teams" → if C in 1, D in 2 (and vice versa)
"If E is on Team 1, then F is on Team 2" → conditional: E1 → F2. Contrapositive: F1 → E2.
Key deductions: Conditional chains. If E1→F2 and F2→G2, then E1→F2 and G2. Look for these chains — they're where the big deductions live.
In/Out games: A special grouping type. Items are either selected or not. Same logic applies.
Reference:
TaskLoco™ — The Sticky Note GOAT