この自尊心は区別し易い
fact1: あの分離有限射は教え始めない fact2: 重たい物は区別し易い fact3: あの分離有限射は片付ける fact4: 仮に「なにがしかのものは火の気でないかそれは少数派共同体だということはないかまたは両方ともである」ということは成り立たないとすると「遅らせない」ということは成り立つ fact5: 仮に「あの催吐は火の気だし神格化する」ということは成り立てば専門特化しない fact6: もしもその病期は片付けるとすると「あの催吐は火の気でないか少数派共同体でないかどちらもである」ということは成り立つということはない fact7: もし仮に「その病期は火の気だということはない」ということは成り立つとしたらこの自尊心は片付ける fact8: もしなにかは遅らせないなら「それは重たくないし加えて吸水力でない」ということは誤りである fact9: あの催吐は重たくて遅らせる fact10: あの催吐が少数派共同体だとすればあの病期は火の気でない fact11: もしもあの催吐が吸水力であるか少数派共同体であるかあるいは両方ともであるとするとその病期は火の気でない fact12: あの催吐は教え始める fact13: この自尊心は教え始めるしそれは彼らしい fact14: もしも何らかのものが遅らせるとしたらそれは吸水力である fact15: なにかは教え始めるしその上それが片付ければそれは区別し易くない fact16: もし仮に何らかの物は片付けないならば「少数派共同体でないけれど火の気だ」ということは誤りだ fact17: もし仮にあの催吐は火の気で遅らせるとしたら重たくない fact18: この自尊心は彼らしい fact19: あの催吐は重たい fact20: 「もしも「あの分離有限射は教え始めないけど片付ける」ということは本当だとするとその病期は片付けない」ということは事実だ
fact9 -> int1: 「あの催吐は遅らせる」ということは成り立つ; fact14 -> int2: もし仮にあの催吐が遅らせるならそれは吸水力である; int1 & int2 -> int3: あの催吐は吸水力だ; int3 -> int4: あの催吐は吸水力であるかまたは少数派共同体であるかまたはどちらもである; int4 & fact11 -> int5: その病期は火の気でない; int5 & fact7 -> int6: この自尊心は片付ける; fact13 -> int7: この自尊心は教え始める; int6 & int7 -> int8: この自尊心は教え始めるし片付ける; fact15 -> int9: もし仮にこの自尊心は教え始めるしまた片付けるなら区別し易くない; int8 & int9 -> hypothesis;
この自尊心は区別し易い
fact21 -> int10: もし仮にこの自尊心が重たいとすれば区別し易い; fact24 -> int11: もしもあの催吐は遅らせないとすれば「それは重たくないしそれは吸水力でない」ということは誤りだ; fact25 -> int12: 仮にその病期は片付けないなら「それは少数派共同体でないが火の気だ」ということは事実でない; fact26 & fact23 -> int13: あの分離有限射は教え始めるということはないけれど片付ける; fact22 & int13 -> int14: その病期は片付けない; int12 & int14 -> int15: 「その病期は少数派共同体でないが火の気である」ということは成り立たない;
$facts$ = fact1: あの分離有限射は教え始めない fact2: 重たい物は区別し易い fact3: あの分離有限射は片付ける fact4: 仮に「なにがしかのものは火の気でないかそれは少数派共同体だということはないかまたは両方ともである」ということは成り立たないとすると「遅らせない」ということは成り立つ fact5: 仮に「あの催吐は火の気だし神格化する」ということは成り立てば専門特化しない fact6: もしもその病期は片付けるとすると「あの催吐は火の気でないか少数派共同体でないかどちらもである」ということは成り立つということはない fact7: もし仮に「その病期は火の気だということはない」ということは成り立つとしたらこの自尊心は片付ける fact8: もしなにかは遅らせないなら「それは重たくないし加えて吸水力でない」ということは誤りである fact9: あの催吐は重たくて遅らせる fact10: あの催吐が少数派共同体だとすればあの病期は火の気でない fact11: もしもあの催吐が吸水力であるか少数派共同体であるかあるいは両方ともであるとするとその病期は火の気でない fact12: あの催吐は教え始める fact13: この自尊心は教え始めるしそれは彼らしい fact14: もしも何らかのものが遅らせるとしたらそれは吸水力である fact15: なにかは教え始めるしその上それが片付ければそれは区別し易くない fact16: もし仮に何らかの物は片付けないならば「少数派共同体でないけれど火の気だ」ということは誤りだ fact17: もし仮にあの催吐は火の気で遅らせるとしたら重たくない fact18: この自尊心は彼らしい fact19: あの催吐は重たい fact20: 「もしも「あの分離有限射は教え始めないけど片付ける」ということは本当だとするとその病期は片付けない」ということは事実だ ; $hypothesis$ = この自尊心は区別し易い ; $proof$ = 
fact9 -> int1: 「あの催吐は遅らせる」ということは成り立つ; fact14 -> int2: もし仮にあの催吐が遅らせるならそれは吸水力である; int1 & int2 -> int3: あの催吐は吸水力だ; int3 -> int4: あの催吐は吸水力であるかまたは少数派共同体であるかまたはどちらもである; int4 & fact11 -> int5: その病期は火の気でない; int5 & fact7 -> int6: この自尊心は片付ける; fact13 -> int7: この自尊心は教え始める; int6 & int7 -> int8: この自尊心は教え始めるし片付ける; fact15 -> int9: もし仮にこの自尊心は教え始めるしまた片付けるなら区別し易くない; int8 & int9 -> hypothesis; __DISPROVED__
事実1: あの分離有限射は教え始めない
事実2: 重たい物は区別し易い
事実3: あの分離有限射は片付ける
事実4: 仮に「なにがしかのものは火の気でないかそれは少数派共同体だということはないかまたは両方ともである」ということは成り立たないとすると「遅らせない」ということは成り立つ
事実5: 仮に「あの催吐は火の気だし神格化する」ということは成り立てば専門特化しない
事実6: もしもその病期は片付けるとすると「あの催吐は火の気でないか少数派共同体でないかどちらもである」ということは成り立つということはない
事実7: もし仮に「その病期は火の気だということはない」ということは成り立つとしたらこの自尊心は片付ける
事実8: もしなにかは遅らせないなら「それは重たくないし加えて吸水力でない」ということは誤りである
事実9: あの催吐は重たくて遅らせる
事実10: あの催吐が少数派共同体だとすればあの病期は火の気でない
事実11: もしもあの催吐が吸水力であるか少数派共同体であるかあるいは両方ともであるとするとその病期は火の気でない
事実12: あの催吐は教え始める
事実13: この自尊心は教え始めるしそれは彼らしい
事実14: もしも何らかのものが遅らせるとしたらそれは吸水力である
事実15: なにかは教え始めるしその上それが片付ければそれは区別し易くない
事実16: もし仮に何らかの物は片付けないならば「少数派共同体でないけれど火の気だ」ということは誤りだ
事実17: もし仮にあの催吐は火の気で遅らせるとしたら重たくない
事実18: この自尊心は彼らしい
事実19: あの催吐は重たい
事実20: 「もしも「あの分離有限射は教え始めないけど片付ける」ということは本当だとするとその病期は片付けない」ということは事実だ

仮説: この自尊心は区別し易い
1. 事実9から、推論1: "「あの催吐は遅らせる」ということは成り立つ"が導かれる
2. 事実14から、推論2: "もし仮にあの催吐が遅らせるならそれは吸水力である"が導かれる
3. 推論1と推論2から、推論3: "あの催吐は吸水力だ"が導かれる
4. 推論3から、推論4: "あの催吐は吸水力であるかまたは少数派共同体であるかまたはどちらもである"が導かれる
5. 推論4と事実11から、推論5: "その病期は火の気でない"が導かれる
6. 推論5と事実7から、推論6: "この自尊心は片付ける"が導かれる
7. 事実13から、推論7: "この自尊心は教え始める"が導かれる
8. 推論6と推論7から、推論8: "この自尊心は教え始めるし片付ける"が導かれる
9. 事実15から、推論9: "もし仮にこの自尊心は教え始めるしまた片付けるなら区別し易くない"が導かれる
10. 推論8と推論9から、仮説が否定される

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