「その収納庫は好かないけどやばい」ということは成り立つということはない
fact1: もしもこの相互行為能力はロシア船であるとすれば「御母さんだ」ということは成り立つ fact2: この相互行為能力は最新仕入れ日でないかまたは間近くない fact3: もしあの善導が三輪でないがそれがいみじとすればそれは献辞だ fact4: もしなにがしかのものは辺り一面だとすると「それは好かない一方でやばい」ということは誤っている fact5: 仮にあの善導が船酔いだとしたらその収納庫は好かない fact6: もしあるものは辺り一面でないとしたら「馬鹿馬鹿しかない」ということは確かだ fact7: もしもこの相互行為能力が御母さんであるとするとあの委託生産はスラヴ諸語だ fact8: スラヴ諸語は清々しい fact9: もし仮に何かは清々しいかもしくは船酔いでないかもしくはどちらもであるとしたら御母さんである fact10: もしもあの委託生産は輸液ラインでないなら清々しいかあるいは船酔いでないかどちらもである fact11: もしもあの委託生産が御母さんであるとすればあの相互行為能力はスラヴ諸語であるかまたはロシア船でないか両方ともである fact12: この相互行為能力は所狭し fact13: 仮にこの相互行為能力が最新仕入れ日でないかあるいは間近くないかまたは両方ともであるとしたら「言語資本である」ということは成り立つ fact14: あの善導は三輪でないけれどいみじ fact15: 仮に何らかの物は辺り一面であるならば「それはロシア船である」ということは真実だ fact16: もし仮にこの相互行為能力が船酔いだとすればあの善導は辺り一面だ fact17: もしその収納庫がやばいとするとそれは御母さんである fact18: この相互行為能力は表出する fact19: もしもあの委託生産が清々しいならばその収納庫はやばい fact20: もし仮になんらかのものが言語資本だとすれば辺り一面である fact21: 仮に「「あの委託生産は献辞でなくてそれに焼け焦げない」ということは成り立つ」ということは成り立たないとしたらそれは輸液ラインでない fact22: あの善導は船酔いだ
fact13 & fact2 -> int1: この相互行為能力は言語資本である; fact20 -> int2: もしこの相互行為能力が言語資本だとすると辺り一面である; int1 & int2 -> int3: この相互行為能力は辺り一面である; fact15 -> int4: もしこの相互行為能力は辺り一面であるならばロシア船だ; int3 & int4 -> int5: この相互行為能力はロシア船である; int5 & fact1 -> int6: この相互行為能力は御母さんだ; int6 & fact7 -> int7: 「あの委託生産はスラヴ諸語だ」ということは正しい; fact8 -> int8: もし仮にあの委託生産はスラヴ諸語であるとすればそれは清々しい; int7 & int8 -> int9: あの委託生産は清々しい; int9 & fact19 -> int10: その収納庫はやばい; fact22 & fact5 -> int11: その収納庫は好かない; int10 & int11 -> hypothesis;
「その収納庫は好かないけどやばい」ということは事実と異なる
fact25 -> int12: 仮にその収納庫は辺り一面だとすれば「好かないししかもやばい」ということは間違いである; fact27 -> int13: 仮にあの委託生産が清々しいかもしくはそれは船酔いでないかあるいは両方ともであるとすれば「御母さんである」ということは偽でない; fact28 & fact26 -> int14: あの善導は献辞だ; int14 -> int15: 「「献辞だ」ということは真実な」ものはある;
$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$ = 
fact13 & fact2 -> int1: この相互行為能力は言語資本である; fact20 -> int2: もしこの相互行為能力が言語資本だとすると辺り一面である; int1 & int2 -> int3: この相互行為能力は辺り一面である; fact15 -> int4: もしこの相互行為能力は辺り一面であるならばロシア船だ; int3 & int4 -> int5: この相互行為能力はロシア船である; int5 & fact1 -> int6: この相互行為能力は御母さんだ; int6 & fact7 -> int7: 「あの委託生産はスラヴ諸語だ」ということは正しい; fact8 -> int8: もし仮にあの委託生産はスラヴ諸語であるとすればそれは清々しい; int7 & int8 -> int9: あの委託生産は清々しい; int9 & fact19 -> int10: その収納庫はやばい; fact22 & fact5 -> int11: その収納庫は好かない; int10 & int11 -> hypothesis; __DISPROVED__
事実1: もしもこの相互行為能力はロシア船であるとすれば「御母さんだ」ということは成り立つ
事実2: この相互行為能力は最新仕入れ日でないかまたは間近くない
事実3: もしあの善導が三輪でないがそれがいみじとすればそれは献辞だ
事実4: もしなにがしかのものは辺り一面だとすると「それは好かない一方でやばい」ということは誤っている
事実5: 仮にあの善導が船酔いだとしたらその収納庫は好かない
事実6: もしあるものは辺り一面でないとしたら「馬鹿馬鹿しかない」ということは確かだ
事実7: もしもこの相互行為能力が御母さんであるとするとあの委託生産はスラヴ諸語だ
事実8: スラヴ諸語は清々しい
事実9: もし仮に何かは清々しいかもしくは船酔いでないかもしくはどちらもであるとしたら御母さんである
事実10: もしもあの委託生産は輸液ラインでないなら清々しいかあるいは船酔いでないかどちらもである
事実11: もしもあの委託生産が御母さんであるとすればあの相互行為能力はスラヴ諸語であるかまたはロシア船でないか両方ともである
事実12: この相互行為能力は所狭し
事実13: 仮にこの相互行為能力が最新仕入れ日でないかあるいは間近くないかまたは両方ともであるとしたら「言語資本である」ということは成り立つ
事実14: あの善導は三輪でないけれどいみじ
事実15: 仮に何らかの物は辺り一面であるならば「それはロシア船である」ということは真実だ
事実16: もし仮にこの相互行為能力が船酔いだとすればあの善導は辺り一面だ
事実17: もしその収納庫がやばいとするとそれは御母さんである
事実18: この相互行為能力は表出する
事実19: もしもあの委託生産が清々しいならばその収納庫はやばい
事実20: もし仮になんらかのものが言語資本だとすれば辺り一面である
事実21: 仮に「「あの委託生産は献辞でなくてそれに焼け焦げない」ということは成り立つ」ということは成り立たないとしたらそれは輸液ラインでない
事実22: あの善導は船酔いだ

仮説: 「その収納庫は好かないけどやばい」ということは成り立つということはない
1. 事実13と事実2から、推論1: "この相互行為能力は言語資本である"が導かれる
2. 事実20から、推論2: "もしこの相互行為能力が言語資本だとすると辺り一面である"が導かれる
3. 推論1と推論2から、推論3: "この相互行為能力は辺り一面である"が導かれる
4. 事実15から、推論4: "もしこの相互行為能力は辺り一面であるならばロシア船だ"が導かれる
5. 推論3と推論4から、推論5: "この相互行為能力はロシア船である"が導かれる
6. 推論5と事実1から、推論6: "この相互行為能力は御母さんだ"が導かれる
7. 推論6と事実7から、推論7: "「あの委託生産はスラヴ諸語だ」ということは正しい"が導かれる
8. 事実8から、推論8: "もし仮にあの委託生産はスラヴ諸語であるとすればそれは清々しい"が導かれる
9. 推論7と推論8から、推論9: "あの委託生産は清々しい"が導かれる
10. 推論9と事実19から、推論10: "その収納庫はやばい"が導かれる
11. 事実22と事実5から、推論11: "その収納庫は好かない"が導かれる
12. 推論10と推論11から、仮説が否定される

よって、仮説が否定されました。