仮にそのゴルフ場が子供扱いするとしたらこの視距は生まれ難い
fact1: あの提携先は探し続ける fact2: その雪洞は生まれ難い fact3: このヘッドスピードは探し続ける fact4: この心・循環器系は子供扱いする fact5: そのゴルフ場が子供扱いすればそのスライダは探し続ける fact6: そのゴルフ場は生まれ難い fact7: もし仮にそのスライダが探し続ければこの視距は子供扱いする fact8: そのゴルフ場が探し続けるとするとそのスライダは子供扱いする fact9: もしもこの視距は子供扱いするなら「そのゴルフ場は生まれ難い」ということは成り立つ fact10: もしもそのゴルフ場が生まれ難いとするとこの視距は子供扱いする fact11: 「そのスライダは生まれ難い」ということは正しいとしたらそのゴルフ場は探し続ける fact12: そのスライダが子供扱いするとすればそのゴルフ場は探し続ける fact13: 「そのスライダは生まれ難い」ということは事実である fact14: この視距は探し続ける fact15: この視距は館内配置である fact16: 仮にそのゴルフ場が生まれ難いとするとこの視距は探し続ける fact17: もしそのスライダが生まれ難いならばこの視距は探し続ける fact18: 仮にそのスライダは探し続けるとしたら「この視距は生まれ難い」ということは成り立つ fact19: もしこの視距が探し続けるならそのスライダは生まれ難い
void -> assump1: 以下のように仮定する。そのゴルフ場は子供扱いする; fact5 & assump1 -> int1: そのスライダは探し続ける; int1 & fact18 -> int2: この視距は生まれ難い; [assump1] & int2 -> hypothesis;
$facts$ = fact1: あの提携先は探し続ける fact2: その雪洞は生まれ難い fact3: このヘッドスピードは探し続ける fact4: この心・循環器系は子供扱いする fact5: そのゴルフ場が子供扱いすればそのスライダは探し続ける fact6: そのゴルフ場は生まれ難い fact7: もし仮にそのスライダが探し続ければこの視距は子供扱いする fact8: そのゴルフ場が探し続けるとするとそのスライダは子供扱いする fact9: もしもこの視距は子供扱いするなら「そのゴルフ場は生まれ難い」ということは成り立つ fact10: もしもそのゴルフ場が生まれ難いとするとこの視距は子供扱いする fact11: 「そのスライダは生まれ難い」ということは正しいとしたらそのゴルフ場は探し続ける fact12: そのスライダが子供扱いするとすればそのゴルフ場は探し続ける fact13: 「そのスライダは生まれ難い」ということは事実である fact14: この視距は探し続ける fact15: この視距は館内配置である fact16: 仮にそのゴルフ場が生まれ難いとするとこの視距は探し続ける fact17: もしそのスライダが生まれ難いならばこの視距は探し続ける fact18: 仮にそのスライダは探し続けるとしたら「この視距は生まれ難い」ということは成り立つ fact19: もしこの視距が探し続けるならそのスライダは生まれ難い ; $hypothesis$ = 仮にそのゴルフ場が子供扱いするとしたらこの視距は生まれ難い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのゴルフ場は子供扱いする; fact5 & assump1 -> int1: そのスライダは探し続ける; int1 & fact18 -> int2: この視距は生まれ難い; [assump1] & int2 -> hypothesis; __PROVED__
事実1: あの提携先は探し続ける
事実2: その雪洞は生まれ難い
事実3: このヘッドスピードは探し続ける
事実4: この心・循環器系は子供扱いする
事実5: そのゴルフ場が子供扱いすればそのスライダは探し続ける
事実6: そのゴルフ場は生まれ難い
事実7: もし仮にそのスライダが探し続ければこの視距は子供扱いする
事実8: そのゴルフ場が探し続けるとするとそのスライダは子供扱いする
事実9: もしもこの視距は子供扱いするなら「そのゴルフ場は生まれ難い」ということは成り立つ
事実10: もしもそのゴルフ場が生まれ難いとするとこの視距は子供扱いする
事実11: 「そのスライダは生まれ難い」ということは正しいとしたらそのゴルフ場は探し続ける
事実12: そのスライダが子供扱いするとすればそのゴルフ場は探し続ける
事実13: 「そのスライダは生まれ難い」ということは事実である
事実14: この視距は探し続ける
事実15: この視距は館内配置である
事実16: 仮にそのゴルフ場が生まれ難いとするとこの視距は探し続ける
事実17: もしそのスライダが生まれ難いならばこの視距は探し続ける
事実18: 仮にそのスライダは探し続けるとしたら「この視距は生まれ難い」ということは成り立つ
事実19: もしこの視距が探し続けるならそのスライダは生まれ難い

仮説: 仮にそのゴルフ場が子供扱いするとしたらこの視距は生まれ難い
1. 仮定1: 以下のように仮定する。そのゴルフ場は子供扱いする
2. 事実5と仮定1から、推論1: "そのスライダは探し続ける"が導かれる
3. 推論1と事実18から、推論2: "この視距は生まれ難い"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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