このトラック・スルー・ソリッドは狭過ぎない
fact1: もしもその男の子達は向け過ぎないとすると「あのナイロンコートワイヤーは居辛くない一方で金融支援だ」ということは成り立たない fact2: その男の子達は向け過ぎない fact3: もし仮に「「あのナイロンコートワイヤーは居辛くないが金融支援である」ということは真実だ」ということは間違いであるならば「このトラック・スルー・ソリッドは狭過ぎる」ということは確かである fact4: あの凝視は向け過ぎない fact5: 仮に「あるものは向け過ぎるということはないが救い給う」ということは偽だとしたら狭過ぎるということはない
fact1 & fact2 -> int1: 「あのナイロンコートワイヤーは居辛くないが金融支援である」ということは間違いである; int1 & fact3 -> hypothesis;
このトラック・スルー・ソリッドは狭過ぎない
fact6 -> int2: もしも「このトラック・スルー・ソリッドは向け過ぎないけど救い給う」ということは成り立たないとしたらそれは狭過ぎるということはない;
$facts$ = fact1: もしもその男の子達は向け過ぎないとすると「あのナイロンコートワイヤーは居辛くない一方で金融支援だ」ということは成り立たない fact2: その男の子達は向け過ぎない fact3: もし仮に「「あのナイロンコートワイヤーは居辛くないが金融支援である」ということは真実だ」ということは間違いであるならば「このトラック・スルー・ソリッドは狭過ぎる」ということは確かである fact4: あの凝視は向け過ぎない fact5: 仮に「あるものは向け過ぎるということはないが救い給う」ということは偽だとしたら狭過ぎるということはない ; $hypothesis$ = このトラック・スルー・ソリッドは狭過ぎない ; $proof$ = 
fact1 & fact2 -> int1: 「あのナイロンコートワイヤーは居辛くないが金融支援である」ということは間違いである; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもその男の子達は向け過ぎないとすると「あのナイロンコートワイヤーは居辛くない一方で金融支援だ」ということは成り立たない
事実2: その男の子達は向け過ぎない
事実3: もし仮に「「あのナイロンコートワイヤーは居辛くないが金融支援である」ということは真実だ」ということは間違いであるならば「このトラック・スルー・ソリッドは狭過ぎる」ということは確かである
事実4: あの凝視は向け過ぎない
事実5: 仮に「あるものは向け過ぎるということはないが救い給う」ということは偽だとしたら狭過ぎるということはない

仮説: このトラック・スルー・ソリッドは狭過ぎない
1. 事実1と事実2から、推論1: "「あのナイロンコートワイヤーは居辛くないが金融支援である」ということは間違いである"が導かれる
2. 推論1と事実3から、仮説が否定される

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