このＧＨＲＰは具する
fact1: もしあの私達姉妹が頼もしいならこの生春巻きは捕らえ切る fact2: もしあの私達姉妹が辛抱するならこの生春巻きは捕らえ切る fact3: あの家事・育児は口唇期去勢であるしその上それはトラベルＢである fact4: 何かは脱線でない fact5: もしあの私達姉妹が辛抱するとしたらこのＧＨＲＰは具する fact6: あの私達姉妹は口唇期去勢である fact7: あの家事・育児は頼もしくない fact8: もしもこの生春巻きは煩わしくないとすれば「このＧＨＲＰは煩わしいということはないし馴らさない」ということは嘘だ fact9: もし仮に「この生春巻きは馴らさないけど煩わしい」ということは誤りならば「あの家事・育児は煩わしくない」ということは本当だ fact10: 「「このＧＨＲＰは煩わしくないしまた頼もしいということはない」ということは偽だ」ということは正しい fact11: なにがしかのものが捕らえ切るしそれに煩わしいならあの家事・育児は口唇期去勢だということはない fact12: もし仮にあの家事・育児は辛抱しないならば「あの私達姉妹は辛抱するけれど口唇期去勢でない」ということは偽だ fact13: もしあるものがでっかいとしたらごつごつしない fact14: もしも「あの家事・育児は頼もしくないけれど捕らえ切る」ということは誤りであるならば「あの私達姉妹は頼もしい」ということは成り立つ fact15: このＧＨＲＰは頼もしい fact16: もし「何らかのものが煩わしくないしさらにそれは馴らさない」ということは事実と異なるなら具しない fact17: 何らかの物は口唇期去勢だとしたら「馴らさないがしかし煩わしい」ということは偽だ fact18: 「このＧＨＲＰは抽象論であるか煩わしいか両方だ」ということは成り立つ fact19: この生春巻きは逆送する fact20: あの私達姉妹は辛抱するか頼もしいかあるいは両方ともだ
fact20 & fact2 & fact1 -> int1: 「この生春巻きは捕らえ切る」ということは成り立つ; void -> assump1: 以下のように仮定する。この生春巻きは煩わしい; int1 & assump1 -> int2: この生春巻きは捕らえ切るし煩わしい; int2 -> int3: 「捕らえ切るし加えて煩わしい」物はある; int3 & fact11 -> int4: あの家事・育児は口唇期去勢でない; fact3 -> int5: あの家事・育児は口唇期去勢だ; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この生春巻きは煩わしくない; int7 & fact8 -> int8: 「このＧＨＲＰは煩わしくないしその上それは馴らさない」ということは確かでない; fact16 -> int9: 「このＧＨＲＰは煩わしくないし馴らさない」ということは真実でないならばそれは具しない; int8 & int9 -> hypothesis;
このＧＨＲＰは具する
fact22 -> int10: もし仮にこの生春巻きは口唇期去勢であるならば「それは馴らさないしまたそれは煩わしい」ということは嘘だ;
$facts$ = fact1: もしあの私達姉妹が頼もしいならこの生春巻きは捕らえ切る fact2: もしあの私達姉妹が辛抱するならこの生春巻きは捕らえ切る fact3: あの家事・育児は口唇期去勢であるしその上それはトラベルＢである fact4: 何かは脱線でない fact5: もしあの私達姉妹が辛抱するとしたらこのＧＨＲＰは具する fact6: あの私達姉妹は口唇期去勢である fact7: あの家事・育児は頼もしくない fact8: もしもこの生春巻きは煩わしくないとすれば「このＧＨＲＰは煩わしいということはないし馴らさない」ということは嘘だ fact9: もし仮に「この生春巻きは馴らさないけど煩わしい」ということは誤りならば「あの家事・育児は煩わしくない」ということは本当だ fact10: 「「このＧＨＲＰは煩わしくないしまた頼もしいということはない」ということは偽だ」ということは正しい fact11: なにがしかのものが捕らえ切るしそれに煩わしいならあの家事・育児は口唇期去勢だということはない fact12: もし仮にあの家事・育児は辛抱しないならば「あの私達姉妹は辛抱するけれど口唇期去勢でない」ということは偽だ fact13: もしあるものがでっかいとしたらごつごつしない fact14: もしも「あの家事・育児は頼もしくないけれど捕らえ切る」ということは誤りであるならば「あの私達姉妹は頼もしい」ということは成り立つ fact15: このＧＨＲＰは頼もしい fact16: もし「何らかのものが煩わしくないしさらにそれは馴らさない」ということは事実と異なるなら具しない fact17: 何らかの物は口唇期去勢だとしたら「馴らさないがしかし煩わしい」ということは偽だ fact18: 「このＧＨＲＰは抽象論であるか煩わしいか両方だ」ということは成り立つ fact19: この生春巻きは逆送する fact20: あの私達姉妹は辛抱するか頼もしいかあるいは両方ともだ ; $hypothesis$ = このＧＨＲＰは具する ; $proof$ = 
fact20 & fact2 & fact1 -> int1: 「この生春巻きは捕らえ切る」ということは成り立つ; void -> assump1: 以下のように仮定する。この生春巻きは煩わしい; int1 & assump1 -> int2: この生春巻きは捕らえ切るし煩わしい; int2 -> int3: 「捕らえ切るし加えて煩わしい」物はある; int3 & fact11 -> int4: あの家事・育児は口唇期去勢でない; fact3 -> int5: あの家事・育児は口唇期去勢だ; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この生春巻きは煩わしくない; int7 & fact8 -> int8: 「このＧＨＲＰは煩わしくないしその上それは馴らさない」ということは確かでない; fact16 -> 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. 事実20と事実2と事実1から、推論1: "「この生春巻きは捕らえ切る」ということは成り立つ"が導かれる
2. 仮定1: 以下のように仮定する。この生春巻きは煩わしい
3. 推論1と仮定1から、推論2: "この生春巻きは捕らえ切るし煩わしい"が導かれる
4. 推論2から、推論3: "「捕らえ切るし加えて煩わしい」物はある"が導かれる
5. 推論3と事実11から、推論4: "あの家事・育児は口唇期去勢でない"が導かれる
6. 事実3から、推論5: "あの家事・育児は口唇期去勢だ"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この生春巻きは煩わしくない"が導かれる
9. 推論7と事実8から、推論8: "「このＧＨＲＰは煩わしくないしその上それは馴らさない」ということは確かでない"が導かれる
10. 事実16から、推論9: "「このＧＨＲＰは煩わしくないし馴らさない」ということは真実でないならばそれは具しない"が導かれる
11. 推論8と推論9から、仮説が否定される

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