Tonight I'll introduce my MCCC students to logic by giving this argument: 1. The more trainable an animal is, the smarter it is. 2. Dogs are more trainable than cats. 3. Therefore, dogs are smarter than cats. So are dogs smarter than cats? Of course - see the proof above. And here, e.g.