6 cards, each one idea: what it is, a worked example, and the trap to dodge.
Translate to circles
Each statement is a relationship between two circles. Draw the guaranteed case first, then ask whether any other arrangement is also allowed.
'All pens are books; all books are red' => pens inside books inside red => 'all pens are red' follows.
Possibility vs certainty
The exam asks what MUST be true. If you can draw even one valid diagram where a conclusion fails, that conclusion does not follow.
Trap: 'Some A are B' does NOT give 'some A are not B'. The overlap could be total.
The 'some' and 'all' conversions
'Some A are B' is symmetric, so 'some B are A' also holds. 'All A are B' gives 'some B are A' but never 'all B are A'.
All cats are animals => some animals are cats (true); all animals are cats (false).
Handling 'No'
'No A are B' means the circles are disjoint, and it is symmetric: 'no B are A' also holds. Combine it carefully with 'all' and 'some'.
No A are B; all C are A => no C are B follows.
Either-or conclusions
When two conclusions look contradictory, neither is individually certain, but together they cover all cases, the answer is 'either I or II follows'.
'Some A are B' and 'no A are B' as a pair exhaust every possibility.
Trap: Either-or applies only when the two conclusions are complementary AND jointly exhaustive.
Three-statement chains
For three statements, draw one combined diagram satisfying all three, then test each conclusion against it and any alternative you can construct.