「「あのセットプレイ券は新刊書でないけれど如何わしい」ということは間違っている」ということは本当だ
fact1: もしその鹿毛がマンイーターだということはないならその取り引き手数料は肌寒い fact2: もしもあのセットプレイ券が新刊書だということはないけれど如何わしいならその鹿毛はマンイーターでない fact3: その取り引き手数料は肌寒くない fact4: もしも「なにかはマンイーターでないけれどそれは肌寒い」ということは成り立たないなら新刊書だ
void -> assump1: 以下のように仮定する。あのセットプレイ券は新刊書でないけどそれは如何わしい; fact2 & assump1 -> int1: その鹿毛はマンイーターでない; int1 & fact1 -> int2: その取り引き手数料は肌寒い; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その取り引き手数料は新刊書である
fact5 -> int4: 「その取り引き手数料はマンイーターでないけど肌寒い」ということは成り立たないならばそれは新刊書だ;
$facts$ = fact1: もしその鹿毛がマンイーターだということはないならその取り引き手数料は肌寒い fact2: もしもあのセットプレイ券が新刊書だということはないけれど如何わしいならその鹿毛はマンイーターでない fact3: その取り引き手数料は肌寒くない fact4: もしも「なにかはマンイーターでないけれどそれは肌寒い」ということは成り立たないなら新刊書だ ; $hypothesis$ = 「「あのセットプレイ券は新刊書でないけれど如何わしい」ということは間違っている」ということは本当だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あのセットプレイ券は新刊書でないけどそれは如何わしい; fact2 & assump1 -> int1: その鹿毛はマンイーターでない; int1 & fact1 -> int2: その取り引き手数料は肌寒い; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしその鹿毛がマンイーターだということはないならその取り引き手数料は肌寒い
事実2: もしもあのセットプレイ券が新刊書だということはないけれど如何わしいならその鹿毛はマンイーターでない
事実3: その取り引き手数料は肌寒くない
事実4: もしも「なにかはマンイーターでないけれどそれは肌寒い」ということは成り立たないなら新刊書だ

仮説: 「「あのセットプレイ券は新刊書でないけれど如何わしい」ということは間違っている」ということは本当だ
1. 仮定1: 以下のように仮定する。あのセットプレイ券は新刊書でないけどそれは如何わしい
2. 事実2と仮定1から、推論1: "その鹿毛はマンイーターでない"が導かれる
3. 推論1と事実1から、推論2: "その取り引き手数料は肌寒い"が導かれる
4. 推論2と事実3から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

よって、仮説が証明されました。