A Logic Joke

This is just for entertainment, but here is a ridiculous logic joke:

Theorem: A cat has nine tails.
Proof: No cat has eight tails.
A cat has one tail more than no cat.
Therefore, a cat has nine tails.


Any comments