věta: existuje kůň s třinácti nohama. důkaz: nechť jsou všichni koně obarveni dvěma různými barvami tak, že každý kůň s třinácti nohama má modrou barvu a každý kůň s jiným počtem nohou nějakou jinou. Vyberme náhodně 2 koně. Má-li jeden z nich modrou barvu, je důkaz proveden. Nemá-li ani jeden z nich modrou barvu, znamená to, že mají oba koně stejnou barvu a zároveň každý jinou, což je rozpor Statement...There is a horse with thirteen legs PROOF..Take it as a given (Allow it!) that all horses are (only) two different colors, that every horse with 13 legs is blue, and every horse with a different number of legs is a different color: lets take two random horses: if one of them has a blue color, the proof is clear: if neither of them is blue, that means, that both horses are the same color and at the same time each something else, which is a contradiction: Statement...Nejsem tady. Důkaz..Nejsem li tam, musím být někde jinde, jsem li jinde, nemusím být tady. Neumím vyjádřit ''must'' v tomhle připadě. I don't mean 'must' as in 'compelled to do something'. Nesmím?
ey! Hlas z minulosti! Ještě letějí kluzáky? Měla jsi ještě přiležitost vzlétnout v balonu? Nect' nejsem tam. Nejsem-li tam, musím být někde jinde. Jsem-li jinde, nemohu být tady. To je můj důkaz. Možná vypadá takový rozpor ale je to pravda.