あの新百済国は掩護する一方でストロボでない
fact1: もし仮にその同乗が心深しなら瀕する fact2: この金庫株は瀕する fact3: 卵管炎は瀕しないけど心深し fact4: その同乗は通じ易い fact5: 出入りし易くてまた心深くない物はある fact6: その同乗は中継しない fact7: 仮に「何らかのものは瀕するけど心深くない」ということは成り立つとすれば「あの素手は卵管炎だ」ということは確かである fact8: 「もしもその同乗が出入りし易くないし中継しないなら「その同乗は物々交換する」ということは真実である」ということは成り立つ fact9: なんらかの物は繁殖し易くない fact10: もしもその同乗が物々交換すればそれはソフトウエア産業だ fact11: その同乗は出入りし易くない fact12: もしもなんらかの物は順応し易いとすれば「それは社会主義社会だが株式会社化しない」ということは偽である fact13: とあるものは瀕しないがしかし心深しとすればソフトウエア産業でない fact14: もし仮にその同乗がソフトウエア産業ならそれは心深し fact15: 「その同乗は順応し易くないけど御っさんだ」ということは間違いだ fact16: その同乗が心深しならばこの金庫株は瀕するが心深くない fact17: もし仮に「その同乗は順応し易くないが御っさんだ」ということは嘘ならば順応し易い fact18: もし仮にあの素手は卵管炎だとすれば「あの新百済国は掩護するがストロボでない」ということは間違いだ fact19: この金庫株が株式会社化するとすればそれは発揮し得る fact20: もし仮に「掩護するけれどストロボでない」ものがあるとすればあの新百済国は心深し fact21: 「心深くない」物はある fact22: その抗原は中継しない fact23: 出入りし易いものは掩護するけどストロボでない fact24: もしも「その同乗は心深し」ということは成り立つとすればこの金庫株は瀕する fact25: 「瀕する」ものはある
fact11 & fact6 -> int1: その同乗は出入りし易くないし中継しない; int1 & fact8 -> int2: その同乗は物々交換する; int2 & fact10 -> int3: その同乗はソフトウエア産業である; int3 & fact14 -> int4: その同乗は心深し; int4 & fact16 -> int5: この金庫株は瀕するが心深くない; int5 -> int6: ある物は瀕するがそれは心深くない; int6 & fact7 -> int7: あの素手は卵管炎だ; int7 & fact18 -> hypothesis;
あの新百済国は掩護するけれどそれはストロボでない
fact26 -> int8: あの新百済国が出入りし易いとしたらそれは掩護するけれどストロボであるということはない; fact29 -> int9: 仮に「あの新百済国は瀕しない一方で心深し」ということは本当ならばそれはソフトウエア産業でない; fact30 -> int10: あの新百済国が卵管炎だとしたらそれは瀕しないけど心深し; fact28 -> int11: もし仮に「その同乗は順応し易い」ということは事実と異なるということはないとすると「「それは社会主義社会だ一方で株式会社化しない」ということは確かである」ということは間違っている; fact27 & fact31 -> int12: その同乗は順応し易い; int11 & int12 -> int13: 「その同乗は社会主義社会であるがしかし株式会社化しない」ということは間違いである; int13 -> int14: 「「社会主義社会であるが株式会社化するということはない」ということは偽な」ものはある;
$facts$ = fact1: もし仮にその同乗が心深しなら瀕する fact2: この金庫株は瀕する fact3: 卵管炎は瀕しないけど心深し fact4: その同乗は通じ易い fact5: 出入りし易くてまた心深くない物はある fact6: その同乗は中継しない fact7: 仮に「何らかのものは瀕するけど心深くない」ということは成り立つとすれば「あの素手は卵管炎だ」ということは確かである fact8: 「もしもその同乗が出入りし易くないし中継しないなら「その同乗は物々交換する」ということは真実である」ということは成り立つ fact9: なんらかの物は繁殖し易くない fact10: もしもその同乗が物々交換すればそれはソフトウエア産業だ fact11: その同乗は出入りし易くない fact12: もしもなんらかの物は順応し易いとすれば「それは社会主義社会だが株式会社化しない」ということは偽である fact13: とあるものは瀕しないがしかし心深しとすればソフトウエア産業でない fact14: もし仮にその同乗がソフトウエア産業ならそれは心深し fact15: 「その同乗は順応し易くないけど御っさんだ」ということは間違いだ fact16: その同乗が心深しならばこの金庫株は瀕するが心深くない fact17: もし仮に「その同乗は順応し易くないが御っさんだ」ということは嘘ならば順応し易い fact18: もし仮にあの素手は卵管炎だとすれば「あの新百済国は掩護するがストロボでない」ということは間違いだ fact19: この金庫株が株式会社化するとすればそれは発揮し得る fact20: もし仮に「掩護するけれどストロボでない」ものがあるとすればあの新百済国は心深し fact21: 「心深くない」物はある fact22: その抗原は中継しない fact23: 出入りし易いものは掩護するけどストロボでない fact24: もしも「その同乗は心深し」ということは成り立つとすればこの金庫株は瀕する fact25: 「瀕する」ものはある ; $hypothesis$ = あの新百済国は掩護する一方でストロボでない ; $proof$ = 
fact11 & fact6 -> int1: その同乗は出入りし易くないし中継しない; int1 & fact8 -> int2: その同乗は物々交換する; int2 & fact10 -> int3: その同乗はソフトウエア産業である; int3 & fact14 -> int4: その同乗は心深し; int4 & fact16 -> int5: この金庫株は瀕するが心深くない; int5 -> int6: ある物は瀕するがそれは心深くない; int6 & fact7 -> int7: あの素手は卵管炎だ; int7 & fact18 -> hypothesis; __DISPROVED__
事実1: もし仮にその同乗が心深しなら瀕する
事実2: この金庫株は瀕する
事実3: 卵管炎は瀕しないけど心深し
事実4: その同乗は通じ易い
事実5: 出入りし易くてまた心深くない物はある
事実6: その同乗は中継しない
事実7: 仮に「何らかのものは瀕するけど心深くない」ということは成り立つとすれば「あの素手は卵管炎だ」ということは確かである
事実8: 「もしもその同乗が出入りし易くないし中継しないなら「その同乗は物々交換する」ということは真実である」ということは成り立つ
事実9: なんらかの物は繁殖し易くない
事実10: もしもその同乗が物々交換すればそれはソフトウエア産業だ
事実11: その同乗は出入りし易くない
事実12: もしもなんらかの物は順応し易いとすれば「それは社会主義社会だが株式会社化しない」ということは偽である
事実13: とあるものは瀕しないがしかし心深しとすればソフトウエア産業でない
事実14: もし仮にその同乗がソフトウエア産業ならそれは心深し
事実15: 「その同乗は順応し易くないけど御っさんだ」ということは間違いだ
事実16: その同乗が心深しならばこの金庫株は瀕するが心深くない
事実17: もし仮に「その同乗は順応し易くないが御っさんだ」ということは嘘ならば順応し易い
事実18: もし仮にあの素手は卵管炎だとすれば「あの新百済国は掩護するがストロボでない」ということは間違いだ
事実19: この金庫株が株式会社化するとすればそれは発揮し得る
事実20: もし仮に「掩護するけれどストロボでない」ものがあるとすればあの新百済国は心深し
事実21: 「心深くない」物はある
事実22: その抗原は中継しない
事実23: 出入りし易いものは掩護するけどストロボでない
事実24: もしも「その同乗は心深し」ということは成り立つとすればこの金庫株は瀕する
事実25: 「瀕する」ものはある

仮説: あの新百済国は掩護する一方でストロボでない
1. 事実11と事実6から、推論1: "その同乗は出入りし易くないし中継しない"が導かれる
2. 推論1と事実8から、推論2: "その同乗は物々交換する"が導かれる
3. 推論2と事実10から、推論3: "その同乗はソフトウエア産業である"が導かれる
4. 推論3と事実14から、推論4: "その同乗は心深し"が導かれる
5. 推論4と事実16から、推論5: "この金庫株は瀕するが心深くない"が導かれる
6. 推論5から、推論6: "ある物は瀕するがそれは心深くない"が導かれる
7. 推論6と事実7から、推論7: "あの素手は卵管炎だ"が導かれる
8. 推論7と事実18から、仮説が否定される

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