SE NÃO EXISTE UM GATO COM DUAS CAUDAS EXISTE UM COM TRÊS.

DEMONSTRAÇÃO

Por hipótese
(i) Nenhum gato tem 2 caudas
Como cada gato tem uma cauda,
(ii) por um gato a mais obtemos mais uma cauda.
Ou seja,
(iii) um gato tem mais uma cauda que nenhum gato.
Por (i) e (iii) concluimos que:
Um gato tem 2+1 cauda.
Portanto um gato tem 3 caudas.

 

c.q.d.