Un grand passeport est un passeport qui est grand. Un sinistre passeport est un passeport qui est sinistre. Et un faux passeport est un passeport qui est faux. Or:

  1. Un faux passeport est un passeport qui est faux.
  2. Un faux passeport n'est pas un passeport.
  3. Donc, un faux passeport est un passeport qui est faux et n'est pas un passeport.
  4. Donc, un faux passeport est un passeport et n'est pas un passeport.
  5. Donc, il n'y a pas de faux passeport.

Si le passage de (4) à (5) vous gêne, à tel point que vous seriez presque disposé à croire à l'existence d'objets contradictoires, vous pouvez reformuler la preuve comme un raisonnement par l'absurde standard: on fait l'hypothèse qu'il y a un faux passeport, on en déduit une contradiction, et on conclut qu'il n'y en a pas.

  1. S'il y a un faux passeport, c'est un passeport qui est un faux.
  2. S'il y a un faux passeport, ce n'est pas un passeport.
  3. Donc, s'il y a un faux passeport, c'est un passeport et ce n'est pas un passeport.
  4. Donc, il n'y a pas de faux passeport.

CQFD! Vous pouvez utiliser le même raisonnement pour démontrer l'inexistence de pistolets en plastique, de maisons de poupée, de lions en pierre, de chats robots et d'amours de cinéma.