あのランニングシューズは徴兵しない
fact1: もしもその最高度が喋り難いということはないとすれば飛び込めない fact2: 「あの練り味噌は改良出来る」ということは成り立つ fact3: あの練り味噌は大鼾である fact4: あの練り味噌が苦しみ続ける一方でそれが称うないならば言説化しない fact5: 仮にあの練り味噌は呆気なくないしおまけに伝来しないならばそれは苦しみ続ける fact6: もし仮にあのたわいが明け渡すとすればあの練り味噌は称うない fact7: その最高度は喋り難くない fact8: もしその最高度が印刷工であるとしたらあの練り味噌は喋り難くない fact9: あの練り味噌が大鼾だとしたら呆気ないということはないし伝来するということはない fact10: あのランニングシューズが言説化しないとすればあの練り味噌は言説化しない fact11: もしも「ある物は飛び込めるかあるいは得難いということはないか両方である」ということは間違っているとしたら印刷工である fact12: そのゲストルームは言説化しない fact13: 「とあるものは喋り難いかもしくは言説化しない」ということは成り立たないとしたらそれは飛び込める fact14: もし仮にあの練り味噌が言説化するかまたは印刷工であるか両方であるならあのランニングシューズは徴兵しない fact15: もしもあの練り味噌は言説化するということはないならば「その最高度は得難くないが印刷工だ」ということは確かでない fact16: 仮にその最高度は飛び込めないとしたら「あの練り味噌は飛び込めるかもしくは得難くないかもしくはどちらもである」ということは事実と異なる fact17: もしもあのランニングシューズは印刷工でないとすると徴兵しない
fact1 & fact7 -> int1: その最高度は飛び込めない; int1 & fact16 -> int2: 「「あの練り味噌は飛び込めるかあるいは得難くないか両方である」ということは成り立つ」ということは成り立たない; fact11 -> int3: 仮に「あの練り味噌は飛び込めるか得難いということはないかあるいはどちらもである」ということは成り立たないとすれば「それは印刷工である」ということは真実だ; int2 & int3 -> int4: あの練り味噌は印刷工である; int4 -> int5: あの練り味噌は言説化するか印刷工であるかあるいは両方ともだ; int5 & fact14 -> hypothesis;
あのランニングシューズは徴兵する
fact21 & fact18 -> int6: あの練り味噌は呆気なくなくてそれは伝来しない; fact20 & int6 -> int7: あの練り味噌は苦しみ続ける;
$facts$ = fact1: もしもその最高度が喋り難いということはないとすれば飛び込めない fact2: 「あの練り味噌は改良出来る」ということは成り立つ fact3: あの練り味噌は大鼾である fact4: あの練り味噌が苦しみ続ける一方でそれが称うないならば言説化しない fact5: 仮にあの練り味噌は呆気なくないしおまけに伝来しないならばそれは苦しみ続ける fact6: もし仮にあのたわいが明け渡すとすればあの練り味噌は称うない fact7: その最高度は喋り難くない fact8: もしその最高度が印刷工であるとしたらあの練り味噌は喋り難くない fact9: あの練り味噌が大鼾だとしたら呆気ないということはないし伝来するということはない fact10: あのランニングシューズが言説化しないとすればあの練り味噌は言説化しない fact11: もしも「ある物は飛び込めるかあるいは得難いということはないか両方である」ということは間違っているとしたら印刷工である fact12: そのゲストルームは言説化しない fact13: 「とあるものは喋り難いかもしくは言説化しない」ということは成り立たないとしたらそれは飛び込める fact14: もし仮にあの練り味噌が言説化するかまたは印刷工であるか両方であるならあのランニングシューズは徴兵しない fact15: もしもあの練り味噌は言説化するということはないならば「その最高度は得難くないが印刷工だ」ということは確かでない fact16: 仮にその最高度は飛び込めないとしたら「あの練り味噌は飛び込めるかもしくは得難くないかもしくはどちらもである」ということは事実と異なる fact17: もしもあのランニングシューズは印刷工でないとすると徴兵しない ; $hypothesis$ = あのランニングシューズは徴兵しない ; $proof$ = 
fact1 & fact7 -> int1: その最高度は飛び込めない; int1 & fact16 -> int2: 「「あの練り味噌は飛び込めるかあるいは得難くないか両方である」ということは成り立つ」ということは成り立たない; fact11 -> int3: 仮に「あの練り味噌は飛び込めるか得難いということはないかあるいはどちらもである」ということは成り立たないとすれば「それは印刷工である」ということは真実だ; int2 & int3 -> int4: あの練り味噌は印刷工である; int4 -> int5: あの練り味噌は言説化するか印刷工であるかあるいは両方ともだ; int5 & fact14 -> hypothesis; __PROVED__
事実1: もしもその最高度が喋り難いということはないとすれば飛び込めない
事実2: 「あの練り味噌は改良出来る」ということは成り立つ
事実3: あの練り味噌は大鼾である
事実4: あの練り味噌が苦しみ続ける一方でそれが称うないならば言説化しない
事実5: 仮にあの練り味噌は呆気なくないしおまけに伝来しないならばそれは苦しみ続ける
事実6: もし仮にあのたわいが明け渡すとすればあの練り味噌は称うない
事実7: その最高度は喋り難くない
事実8: もしその最高度が印刷工であるとしたらあの練り味噌は喋り難くない
事実9: あの練り味噌が大鼾だとしたら呆気ないということはないし伝来するということはない
事実10: あのランニングシューズが言説化しないとすればあの練り味噌は言説化しない
事実11: もしも「ある物は飛び込めるかあるいは得難いということはないか両方である」ということは間違っているとしたら印刷工である
事実12: そのゲストルームは言説化しない
事実13: 「とあるものは喋り難いかもしくは言説化しない」ということは成り立たないとしたらそれは飛び込める
事実14: もし仮にあの練り味噌が言説化するかまたは印刷工であるか両方であるならあのランニングシューズは徴兵しない
事実15: もしもあの練り味噌は言説化するということはないならば「その最高度は得難くないが印刷工だ」ということは確かでない
事実16: 仮にその最高度は飛び込めないとしたら「あの練り味噌は飛び込めるかもしくは得難くないかもしくはどちらもである」ということは事実と異なる
事実17: もしもあのランニングシューズは印刷工でないとすると徴兵しない

仮説: あのランニングシューズは徴兵しない
1. 事実1と事実7から、推論1: "その最高度は飛び込めない"が導かれる
2. 推論1と事実16から、推論2: "「「あの練り味噌は飛び込めるかあるいは得難くないか両方である」ということは成り立つ」ということは成り立たない"が導かれる
3. 事実11から、推論3: "仮に「あの練り味噌は飛び込めるか得難いということはないかあるいはどちらもである」ということは成り立たないとすれば「それは印刷工である」ということは真実だ"が導かれる
4. 推論2と推論3から、推論4: "あの練り味噌は印刷工である"が導かれる
5. 推論4から、推論5: "あの練り味噌は言説化するか印刷工であるかあるいは両方ともだ"が導かれる
6. 推論5と事実14から、仮説が導かれる

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