「「もし「出難くないし包括しない」ということは間違っているとすると凝視する」物はある」ということは間違っている
fact1: もしあの風土論がヤク杉であるならそのパルミジャーノチーズは名高い fact2: 進路格差はヤク杉である fact3: 「なにかは出難くないししかもそれは包括するということはない」ということは成り立たないなら「進路格差である」ということは成り立つ fact4: もし「あの一番地は出難いがしかし包括するということはない」ということは偽であるならばそれは凝視する fact5: ヤク杉は凝視する fact6: もしもなにかは要約しないならば「進路格差であるか凝視しないか両方ともだ」ということは嘘である
fact3 -> int1: もし「あの一番地は出難いということはなくておまけにそれは包括するということはない」ということは間違いだとするとそれは進路格差である; void -> assump1: 以下のように仮定する。「あの一番地は出難くないしおまけにそれは包括しない」ということは事実でない; int1 & assump1 -> int2: あの一番地は進路格差だ; fact2 -> int3: 仮に「あの一番地は進路格差だ」ということは成り立てばそれはヤク杉だ; int2 & int3 -> int4: あの一番地はヤク杉である; fact5 -> int5: もしもあの一番地がヤク杉だとするとそれは凝視する; int4 & int5 -> int6: あの一番地は凝視する; [assump1] & int6 -> int7: もし「あの一番地は出難くないしその上包括しない」ということは間違っているとしたら「それは凝視する」ということは成り立つ; int7 -> hypothesis;
「そのパルミジャーノチーズは名高い」ということは真実である
fact7 -> int8: もし「その補助工法は要約しない」ということは本当だとしたら「進路格差であるかまたは凝視しないかまたはどちらもである」ということは正しくない;
$facts$ = fact1: もしあの風土論がヤク杉であるならそのパルミジャーノチーズは名高い fact2: 進路格差はヤク杉である fact3: 「なにかは出難くないししかもそれは包括するということはない」ということは成り立たないなら「進路格差である」ということは成り立つ fact4: もし「あの一番地は出難いがしかし包括するということはない」ということは偽であるならばそれは凝視する fact5: ヤク杉は凝視する fact6: もしもなにかは要約しないならば「進路格差であるか凝視しないか両方ともだ」ということは嘘である ; $hypothesis$ = 「「もし「出難くないし包括しない」ということは間違っているとすると凝視する」物はある」ということは間違っている ; $proof$ = 
fact3 -> int1: もし「あの一番地は出難いということはなくておまけにそれは包括するということはない」ということは間違いだとするとそれは進路格差である; void -> assump1: 以下のように仮定する。「あの一番地は出難くないしおまけにそれは包括しない」ということは事実でない; int1 & assump1 -> int2: あの一番地は進路格差だ; fact2 -> int3: 仮に「あの一番地は進路格差だ」ということは成り立てばそれはヤク杉だ; int2 & int3 -> int4: あの一番地はヤク杉である; fact5 -> int5: もしもあの一番地がヤク杉だとするとそれは凝視する; int4 & int5 -> int6: あの一番地は凝視する; [assump1] & int6 -> int7: もし「あの一番地は出難くないしその上包括しない」ということは間違っているとしたら「それは凝視する」ということは成り立つ; int7 -> hypothesis; __DISPROVED__
事実1: もしあの風土論がヤク杉であるならそのパルミジャーノチーズは名高い
事実2: 進路格差はヤク杉である
事実3: 「なにかは出難くないししかもそれは包括するということはない」ということは成り立たないなら「進路格差である」ということは成り立つ
事実4: もし「あの一番地は出難いがしかし包括するということはない」ということは偽であるならばそれは凝視する
事実5: ヤク杉は凝視する
事実6: もしもなにかは要約しないならば「進路格差であるか凝視しないか両方ともだ」ということは嘘である

仮説: 「「もし「出難くないし包括しない」ということは間違っているとすると凝視する」物はある」ということは間違っている
1. 事実3から、推論1: "もし「あの一番地は出難いということはなくておまけにそれは包括するということはない」ということは間違いだとするとそれは進路格差である"が導かれる
2. 仮定1: 以下のように仮定する。「あの一番地は出難くないしおまけにそれは包括しない」ということは事実でない
3. 推論1と仮定1から、推論2: "あの一番地は進路格差だ"が導かれる
4. 事実2から、推論3: "仮に「あの一番地は進路格差だ」ということは成り立てばそれはヤク杉だ"が導かれる
5. 推論2と推論3から、推論4: "あの一番地はヤク杉である"が導かれる
6. 事実5から、推論5: "もしもあの一番地がヤク杉だとするとそれは凝視する"が導かれる
7. 推論4と推論5から、推論6: "あの一番地は凝視する"が導かれる
8. [仮定1]と推論6から、推論7: "もし「あの一番地は出難くないしその上包括しない」ということは間違っているとしたら「それは凝視する」ということは成り立つ"が導かれる
9. 推論7から、仮説が否定される

よって、仮説が否定されました。