あの基本型は握り易い
fact1: もし「狂犬病であるということはなくて上がり難くない」物があるとしたらあの基本型は握り易い fact2: 何かは出難いということはないならばヒ毛でなくて加えて講演者である fact3: 「狂犬病であるということはない」ものはある fact4: 「狂犬病だということはないし上がり難くない」物はある fact5: あの旋回限界性能が考え難くないかまたはそれが表示すらないかあるいは両方であるとしたらこの駆出率は考え難くない fact6: もし仮に「何らかの物は上がり難くてそれに狂犬病だ」ということは成り立たないとすれば「それは握り易いということはない」ということは正しい fact7: もしとあるものが事足りなくてしかもそれが救えないならばあの基本型は狂犬病である fact8: 「生協法でないし加えて露払いでない」ものはある fact9: あの旋回限界性能は免れ難いけれど疲れ難いということはない fact10: 仮に何かは講演者でないとすれば「上がり難いしその上狂犬病だ」ということは嘘である fact11: もし仮に若くないものが上り掛けないとするとあの私立学校はどでかい fact12: もし仮に「あの旋回限界性能は免れ難いが疲れ難くない」ということは真実であるとしたらそれは表示すらない fact13: もしもこのプロメトリンがヒ毛でないけれど講演者だとしたらあの基本型は講演者でない fact14: 「狂犬病でないけれど上がり難い」ものはある fact15: もし何かは考え難くないならば「それは若いということはないが遣り込める」ということは事実と異なる
fact4 & fact1 -> hypothesis;
fact4 & fact1 -> hypothesis;
「あの基本型は握り易くない」ということは成り立つ
fact23 -> int1: 「あの基本型は上がり難くて加えてそれは狂犬病である」ということは嘘だとすれば握り易くない; fact21 -> int2: あの基本型は講演者でないとしたら「それは上がり難いし狂犬病だ」ということは嘘だ; fact20 -> int3: 仮にこのプロメトリンが出難くないとすればそれはヒ毛でない一方で講演者である; fact16 -> int4: もし仮にこの駆出率は考え難くないとしたら「それは若くないし加えてそれは遣り込める」ということは成り立たない; fact17 & fact22 -> int5: あの旋回限界性能は表示すらない; int5 -> int6: あの旋回限界性能は考え難くないかもしくは表示すらない; fact19 & int6 -> int7: 「この駆出率は考え難くない」ということは真実である; int4 & int7 -> int8: 「この駆出率は若いということはないがそれは遣り込める」ということは間違いだ; int8 -> int9: 「「若いということはないしさらに遣り込める」ということは成り立つということはない」ものはある;
$facts$ = fact1: もし「狂犬病であるということはなくて上がり難くない」物があるとしたらあの基本型は握り易い fact2: 何かは出難いということはないならばヒ毛でなくて加えて講演者である fact3: 「狂犬病であるということはない」ものはある fact4: 「狂犬病だということはないし上がり難くない」物はある fact5: あの旋回限界性能が考え難くないかまたはそれが表示すらないかあるいは両方であるとしたらこの駆出率は考え難くない fact6: もし仮に「何らかの物は上がり難くてそれに狂犬病だ」ということは成り立たないとすれば「それは握り易いということはない」ということは正しい fact7: もしとあるものが事足りなくてしかもそれが救えないならばあの基本型は狂犬病である fact8: 「生協法でないし加えて露払いでない」ものはある fact9: あの旋回限界性能は免れ難いけれど疲れ難いということはない fact10: 仮に何かは講演者でないとすれば「上がり難いしその上狂犬病だ」ということは嘘である fact11: もし仮に若くないものが上り掛けないとするとあの私立学校はどでかい fact12: もし仮に「あの旋回限界性能は免れ難いが疲れ難くない」ということは真実であるとしたらそれは表示すらない fact13: もしもこのプロメトリンがヒ毛でないけれど講演者だとしたらあの基本型は講演者でない fact14: 「狂犬病でないけれど上がり難い」ものはある fact15: もし何かは考え難くないならば「それは若いということはないが遣り込める」ということは事実と異なる ; $hypothesis$ = あの基本型は握り易い ; $proof$ = 
fact4 & fact1 -> hypothesis; __PROVED__
事実1: もし「狂犬病であるということはなくて上がり難くない」物があるとしたらあの基本型は握り易い
事実2: 何かは出難いということはないならばヒ毛でなくて加えて講演者である
事実3: 「狂犬病であるということはない」ものはある
事実4: 「狂犬病だということはないし上がり難くない」物はある
事実5: あの旋回限界性能が考え難くないかまたはそれが表示すらないかあるいは両方であるとしたらこの駆出率は考え難くない
事実6: もし仮に「何らかの物は上がり難くてそれに狂犬病だ」ということは成り立たないとすれば「それは握り易いということはない」ということは正しい
事実7: もしとあるものが事足りなくてしかもそれが救えないならばあの基本型は狂犬病である
事実8: 「生協法でないし加えて露払いでない」ものはある
事実9: あの旋回限界性能は免れ難いけれど疲れ難いということはない
事実10: 仮に何かは講演者でないとすれば「上がり難いしその上狂犬病だ」ということは嘘である
事実11: もし仮に若くないものが上り掛けないとするとあの私立学校はどでかい
事実12: もし仮に「あの旋回限界性能は免れ難いが疲れ難くない」ということは真実であるとしたらそれは表示すらない
事実13: もしもこのプロメトリンがヒ毛でないけれど講演者だとしたらあの基本型は講演者でない
事実14: 「狂犬病でないけれど上がり難い」ものはある
事実15: もし何かは考え難くないならば「それは若いということはないが遣り込める」ということは事実と異なる

仮説: あの基本型は握り易い
1. 事実4と事実1から、仮説が導かれる

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