あの縁の下は食らう
fact1: もしも「回想するしそれに借り易くない」物があるとしたらあの縁の下は事前承認しない fact2: 「消滅する」ものはある fact3: もしも三高が掛けないとするとその約九万人は絶しない fact4: とある物は御無礼であるしそれは止む無し fact5: もしなんらかのものがエコサマーフェスティバルだけどホルモン牛肉紛争でないとしたらその称賛は受け戻さない fact6: 仮にある物が縫い込むがしかし移植しないとしたらあの縁の下は回想しない fact7: あの雑誌新青年は食らわない fact8: 「「駆け戻る」ということは誤りでない」ものはある fact9: もしもなにがしかのものが始動であるがそれが食らわないならばこのぱちんこ玉は区切れない fact10: 「あの縁の下はＩＦＮ‐γである」ということは成り立たない fact11: その現行民法規定は回想する fact12: 「縫い込むけど移植しない」物はある fact13: 「バッシングするけど左遷しない」ものはある fact14: あの縁の下は移植する fact15: 何らかのものは草臥れないならば「それは精神発達である」ということは真実だ fact16: 仮になにかは回想しないとしたら「食らう」ということは真実である fact17: 良くない相互交渉はある fact18: 仮になにかはべたべたしないならそれはフランス人らしい fact19: 何かは生まれ出るしその上作り変える fact20: もし仮にこの羊膜が縫い込まなくておまけにそれが回想しないならばそれは食らうということはない fact21: もし何らかの物は相互交渉でないとするとそれは言い返せる fact22: もし仮になんらかの物がフィブロネクチンでないとすれば付き易い
fact12 & fact6 -> int1: 「あの縁の下は回想しない」ということは本当だ; fact16 -> int2: 仮にあの縁の下が回想しないとしたらそれは食らう; int1 & int2 -> hypothesis;
あの縁の下は食らわない
$facts$ = fact1: もしも「回想するしそれに借り易くない」物があるとしたらあの縁の下は事前承認しない fact2: 「消滅する」ものはある fact3: もしも三高が掛けないとするとその約九万人は絶しない fact4: とある物は御無礼であるしそれは止む無し fact5: もしなんらかのものがエコサマーフェスティバルだけどホルモン牛肉紛争でないとしたらその称賛は受け戻さない fact6: 仮にある物が縫い込むがしかし移植しないとしたらあの縁の下は回想しない fact7: あの雑誌新青年は食らわない fact8: 「「駆け戻る」ということは誤りでない」ものはある fact9: もしもなにがしかのものが始動であるがそれが食らわないならばこのぱちんこ玉は区切れない fact10: 「あの縁の下はＩＦＮ‐γである」ということは成り立たない fact11: その現行民法規定は回想する fact12: 「縫い込むけど移植しない」物はある fact13: 「バッシングするけど左遷しない」ものはある fact14: あの縁の下は移植する fact15: 何らかのものは草臥れないならば「それは精神発達である」ということは真実だ fact16: 仮になにかは回想しないとしたら「食らう」ということは真実である fact17: 良くない相互交渉はある fact18: 仮になにかはべたべたしないならそれはフランス人らしい fact19: 何かは生まれ出るしその上作り変える fact20: もし仮にこの羊膜が縫い込まなくておまけにそれが回想しないならばそれは食らうということはない fact21: もし何らかの物は相互交渉でないとするとそれは言い返せる fact22: もし仮になんらかの物がフィブロネクチンでないとすれば付き易い ; $hypothesis$ = あの縁の下は食らう ; $proof$ = 
fact12 & fact6 -> int1: 「あの縁の下は回想しない」ということは本当だ; fact16 -> int2: 仮にあの縁の下が回想しないとしたらそれは食らう; int1 & int2 -> hypothesis; __PROVED__
事実1: もしも「回想するしそれに借り易くない」物があるとしたらあの縁の下は事前承認しない
事実2: 「消滅する」ものはある
事実3: もしも三高が掛けないとするとその約九万人は絶しない
事実4: とある物は御無礼であるしそれは止む無し
事実5: もしなんらかのものがエコサマーフェスティバルだけどホルモン牛肉紛争でないとしたらその称賛は受け戻さない
事実6: 仮にある物が縫い込むがしかし移植しないとしたらあの縁の下は回想しない
事実7: あの雑誌新青年は食らわない
事実8: 「「駆け戻る」ということは誤りでない」ものはある
事実9: もしもなにがしかのものが始動であるがそれが食らわないならばこのぱちんこ玉は区切れない
事実10: 「あの縁の下はＩＦＮ‐γである」ということは成り立たない
事実11: その現行民法規定は回想する
事実12: 「縫い込むけど移植しない」物はある
事実13: 「バッシングするけど左遷しない」ものはある
事実14: あの縁の下は移植する
事実15: 何らかのものは草臥れないならば「それは精神発達である」ということは真実だ
事実16: 仮になにかは回想しないとしたら「食らう」ということは真実である
事実17: 良くない相互交渉はある
事実18: 仮になにかはべたべたしないならそれはフランス人らしい
事実19: 何かは生まれ出るしその上作り変える
事実20: もし仮にこの羊膜が縫い込まなくておまけにそれが回想しないならばそれは食らうということはない
事実21: もし何らかの物は相互交渉でないとするとそれは言い返せる
事実22: もし仮になんらかの物がフィブロネクチンでないとすれば付き易い

仮説: あの縁の下は食らう
1. 事実12と事実6から、推論1: "「あの縁の下は回想しない」ということは本当だ"が導かれる
2. 事実16から、推論2: "仮にあの縁の下が回想しないとしたらそれは食らう"が導かれる
3. 推論1と推論2から、仮説が導かれる

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