あのピロリは引退試合する
fact1: もし仮に「その御玉杓子は賢しないしそれは引退試合しない」ということは事実と異なればあの改正法案は引退試合しない fact2: 「摘録でない」ものはある fact3: あの　内は引退試合しない fact4: あのピロリが青函トンネルだということはないならばあの改正法案は引退試合する fact5: 仮になにかはどうして行けるなら出し難い fact6: もしもなにがしかの物が乾き易いならば青函トンネルである fact7: 「ある物は青函トンネルだけど郡名であるということはない」ということは成り立たないとすればそれは引退試合しない fact8: もしもあの改正法案が青函トンネルであるし更に郡名だとしたらあのピロリは青函トンネルでない fact9: もしこの在満日本人が打ち直すならあのガッシュ達はどうして行けないけれど年貢である fact10: なにかは出し難いとすると「賢しないし引退試合しない」ということは間違っている fact11: あの改正法案が引退試合しないなら郡名である fact12: もしあの改正法案が青函トンネルでないとするとあのピロリは引退試合する fact13: もし仮に「あのガッシュ達はどうして行けないけれど年貢である」ということは真実であるとしたらその御玉杓子はどうして行ける fact14: もしその御玉杓子が摘録でないとしたら賢しということはないしその上それは採血時である fact15: 「あの本音は引退試合する」ということは偽であるということはない fact16: あのピロリは青函トンネルだ fact17: もし仮にあの改正法案が引退試合しないならあのピロリは青函トンネルである fact18: あの改正法案は青函トンネルでない
fact12 & fact18 -> hypothesis;
fact12 & fact18 -> hypothesis;
あのピロリは引退試合しない
fact19 -> int1: もしも「あのピロリは青函トンネルだがしかしそれは郡名でない」ということは誤っているとするとそれは引退試合しない;
$facts$ = fact1: もし仮に「その御玉杓子は賢しないしそれは引退試合しない」ということは事実と異なればあの改正法案は引退試合しない fact2: 「摘録でない」ものはある fact3: あの　内は引退試合しない fact4: あのピロリが青函トンネルだということはないならばあの改正法案は引退試合する fact5: 仮になにかはどうして行けるなら出し難い fact6: もしもなにがしかの物が乾き易いならば青函トンネルである fact7: 「ある物は青函トンネルだけど郡名であるということはない」ということは成り立たないとすればそれは引退試合しない fact8: もしもあの改正法案が青函トンネルであるし更に郡名だとしたらあのピロリは青函トンネルでない fact9: もしこの在満日本人が打ち直すならあのガッシュ達はどうして行けないけれど年貢である fact10: なにかは出し難いとすると「賢しないし引退試合しない」ということは間違っている fact11: あの改正法案が引退試合しないなら郡名である fact12: もしあの改正法案が青函トンネルでないとするとあのピロリは引退試合する fact13: もし仮に「あのガッシュ達はどうして行けないけれど年貢である」ということは真実であるとしたらその御玉杓子はどうして行ける fact14: もしその御玉杓子が摘録でないとしたら賢しということはないしその上それは採血時である fact15: 「あの本音は引退試合する」ということは偽であるということはない fact16: あのピロリは青函トンネルだ fact17: もし仮にあの改正法案が引退試合しないならあのピロリは青函トンネルである fact18: あの改正法案は青函トンネルでない ; $hypothesis$ = あのピロリは引退試合する ; $proof$ = 
fact12 & fact18 -> hypothesis; __PROVED__
事実1: もし仮に「その御玉杓子は賢しないしそれは引退試合しない」ということは事実と異なればあの改正法案は引退試合しない
事実2: 「摘録でない」ものはある
事実3: あの　内は引退試合しない
事実4: あのピロリが青函トンネルだということはないならばあの改正法案は引退試合する
事実5: 仮になにかはどうして行けるなら出し難い
事実6: もしもなにがしかの物が乾き易いならば青函トンネルである
事実7: 「ある物は青函トンネルだけど郡名であるということはない」ということは成り立たないとすればそれは引退試合しない
事実8: もしもあの改正法案が青函トンネルであるし更に郡名だとしたらあのピロリは青函トンネルでない
事実9: もしこの在満日本人が打ち直すならあのガッシュ達はどうして行けないけれど年貢である
事実10: なにかは出し難いとすると「賢しないし引退試合しない」ということは間違っている
事実11: あの改正法案が引退試合しないなら郡名である
事実12: もしあの改正法案が青函トンネルでないとするとあのピロリは引退試合する
事実13: もし仮に「あのガッシュ達はどうして行けないけれど年貢である」ということは真実であるとしたらその御玉杓子はどうして行ける
事実14: もしその御玉杓子が摘録でないとしたら賢しということはないしその上それは採血時である
事実15: 「あの本音は引退試合する」ということは偽であるということはない
事実16: あのピロリは青函トンネルだ
事実17: もし仮にあの改正法案が引退試合しないならあのピロリは青函トンネルである
事実18: あの改正法案は青函トンネルでない

仮説: あのピロリは引退試合する
1. 事実12と事実18から、仮説が導かれる

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