「そのとろみは長くない」ということは間違っていない
fact1: 「その根本気分は心弱くない」ということは本当だ fact2: 仮にあるものは助け上げないし掛け捲るということはないとしたら「それは涼しい」ということは確かだ fact3: 仮にあの早明戦が小狡くないけれど御理解するとしたら助け上げない fact4: もしあの一巻は台頭しない一方で後ろ足だとすれば聞けない fact5: そのとろみは心弱くないけどそれは御理解する fact6: 仮にその類書が涼しいとするとそのとろみは型式だ fact7: もし仮にそのとろみは描き易いということはないが心弱いとすれば引き難いということはない fact8: そのとろみは訴え続けない fact9: もし「とある物は型式だ」ということは正しいとしたらそれは長い fact10: あの搭乗員達は生き延びないけれど長い fact11: その債権証書は御理解しない fact12: そのとろみは心弱いということはない fact13: 仮にそのとろみは心弱くないけれど御理解すれば「それは長くない」ということは真実だ fact14: 「そのとろみは齎し易くない」ということは確かである fact15: そのとろみはリサイクル法でないけれど落札出来る fact16: もしそのとろみは心弱くてかつ御理解すれば長いということはない
fact13 & fact5 -> hypothesis;
fact13 & fact5 -> hypothesis;
そのとろみは長い
fact18 -> int1: そのとろみは型式であるなら長い; fact17 -> int2: もしも「その類書は助け上げなくてしかもそれは掛け捲らない」ということは確かであるとすると涼しい;
$facts$ = fact1: 「その根本気分は心弱くない」ということは本当だ fact2: 仮にあるものは助け上げないし掛け捲るということはないとしたら「それは涼しい」ということは確かだ fact3: 仮にあの早明戦が小狡くないけれど御理解するとしたら助け上げない fact4: もしあの一巻は台頭しない一方で後ろ足だとすれば聞けない fact5: そのとろみは心弱くないけどそれは御理解する fact6: 仮にその類書が涼しいとするとそのとろみは型式だ fact7: もし仮にそのとろみは描き易いということはないが心弱いとすれば引き難いということはない fact8: そのとろみは訴え続けない fact9: もし「とある物は型式だ」ということは正しいとしたらそれは長い fact10: あの搭乗員達は生き延びないけれど長い fact11: その債権証書は御理解しない fact12: そのとろみは心弱いということはない fact13: 仮にそのとろみは心弱くないけれど御理解すれば「それは長くない」ということは真実だ fact14: 「そのとろみは齎し易くない」ということは確かである fact15: そのとろみはリサイクル法でないけれど落札出来る fact16: もしそのとろみは心弱くてかつ御理解すれば長いということはない ; $hypothesis$ = 「そのとろみは長くない」ということは間違っていない ; $proof$ = 
fact13 & fact5 -> hypothesis; __PROVED__
事実1: 「その根本気分は心弱くない」ということは本当だ
事実2: 仮にあるものは助け上げないし掛け捲るということはないとしたら「それは涼しい」ということは確かだ
事実3: 仮にあの早明戦が小狡くないけれど御理解するとしたら助け上げない
事実4: もしあの一巻は台頭しない一方で後ろ足だとすれば聞けない
事実5: そのとろみは心弱くないけどそれは御理解する
事実6: 仮にその類書が涼しいとするとそのとろみは型式だ
事実7: もし仮にそのとろみは描き易いということはないが心弱いとすれば引き難いということはない
事実8: そのとろみは訴え続けない
事実9: もし「とある物は型式だ」ということは正しいとしたらそれは長い
事実10: あの搭乗員達は生き延びないけれど長い
事実11: その債権証書は御理解しない
事実12: そのとろみは心弱いということはない
事実13: 仮にそのとろみは心弱くないけれど御理解すれば「それは長くない」ということは真実だ
事実14: 「そのとろみは齎し易くない」ということは確かである
事実15: そのとろみはリサイクル法でないけれど落札出来る
事実16: もしそのとろみは心弱くてかつ御理解すれば長いということはない

仮説: 「そのとろみは長くない」ということは間違っていない
1. 事実13と事実5から、仮説が導かれる

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