All hamsters in the shop are asleep.
Bun is a hamster in the shop.
So Bun is asleep.
Pretend both lines are true. Could the ‘So…’ line still be false? Here, no. So: Must be true.
