Blue penguin: one cat has 9 tails
Red penguin: prove it
Blue penguin: no cat has 8 tails
Red penguin: ok...
Blue penguin: one cat has 1 more tail than no cat
Red penguin: I suppose...
Blue penguin: therefore, since 1 + 8 = 9, one cat has 9 tails
Red penguin: logical