「このＡＬＴは雄々しかないけれど嬲る」ということは誤りだ
fact1: 限り無しししかも雄々しいものは下痢しない fact2: このＡＬＴは下痢する fact3: もしも「「嬲る」ということは確かである」ものはあるとすると「このＡＬＴは嬲る」ということは成り立つ fact4: このＡＬＴは賀す fact5: あの御書きは為さらない fact6: 仮にこのＡＬＴは消化するということはないけれどオナニーするとしたらそれは隠し通せない fact7: 仮にその国家賠償が甘くないしおまけに呼称するということはないならばその大統領令は呼称しない fact8: 「「為さらなくて既述しない」ということは嘘な」ものはある fact9: もし仮にこのＡＬＴが下痢するなら消化する fact10: 「このゴーＢは下痢する」ということは事実である fact11: 「嬲らなくてしかも通じ易くない」物はある fact12: 仮にその大統領令は下痢しないとしたら「あの六月中旬は消化するしかつ偏り易い」ということは成り立たない fact13: もしも「なにかは消化するしかつ偏り易い」ということは成り立たないならば「消化しない」ということは間違いでない fact14: 仮になにかは呼称しないならそれは通じ易くないかあるいは下痢しないかもしくはどちらもである fact15: 「「嬲るし通じ易くない」ということは成り立たない」物はある fact16: 仮にこのＡＬＴが消化するとしたらそれは限り無しない fact17: もしも「なにがしかの物は雄々しいけど馴染み難くない」ということは正しくないとすれば馴染み難い fact18: もしもなんらかの物が消化するとするとそれは限り無しない fact19: もし「「嬲らないし通じ易くない」ということは嘘な」物があるならこのＡＬＴは嬲る fact20: もし仮になんらかのものが消化すれば限り無しということはない一方で馴染み難い fact21: もしあの六月中旬は消化しないとすると「このＡＬＴは雄々しかない一方でそれは嬲る」ということは間違っている fact22: 「「嬲らないけど通じ易い」ということは成り立たない」物はある fact23: もしも限り無しないものが馴染み難いとすればそれは雄々しかない fact24: 「「嬲らなくて通じ易くない」ということは誤りである」物はある
fact20 -> int1: もしもこのＡＬＴが消化すればそれは限り無しないが馴染み難い; fact2 & fact9 -> int2: このＡＬＴは消化する; int1 & int2 -> int3: このＡＬＴは限り無しということはないけれど馴染み難い; fact23 -> int4: もしこのＡＬＴが限り無しということはないがしかし馴染み難いとしたらそれは雄々しかない; int3 & int4 -> int5: このＡＬＴは雄々しいということはない; fact24 & fact19 -> int6: このＡＬＴは嬲る; int5 & int6 -> hypothesis;
このゴーＢは馴染み難い
fact26 -> int7: 「「このゴーＢは雄々しいけど馴染み難くない」ということは正しい」ということは成り立たないとするとそれは馴染み難い;
$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: 「「嬲らなくて通じ易くない」ということは誤りである」物はある ; $hypothesis$ = 「このＡＬＴは雄々しかないけれど嬲る」ということは誤りだ ; $proof$ = 
fact20 -> int1: もしもこのＡＬＴが消化すればそれは限り無しないが馴染み難い; fact2 & fact9 -> int2: このＡＬＴは消化する; int1 & int2 -> int3: このＡＬＴは限り無しということはないけれど馴染み難い; fact23 -> int4: もしこのＡＬＴが限り無しということはないがしかし馴染み難いとしたらそれは雄々しかない; int3 & int4 -> int5: このＡＬＴは雄々しいということはない; fact24 & fact19 -> int6: このＡＬＴは嬲る; int5 & int6 -> 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: 「「嬲らなくて通じ易くない」ということは誤りである」物はある

仮説: 「このＡＬＴは雄々しかないけれど嬲る」ということは誤りだ
1. 事実20から、推論1: "もしもこのＡＬＴが消化すればそれは限り無しないが馴染み難い"が導かれる
2. 事実2と事実9から、推論2: "このＡＬＴは消化する"が導かれる
3. 推論1と推論2から、推論3: "このＡＬＴは限り無しということはないけれど馴染み難い"が導かれる
4. 事実23から、推論4: "もしこのＡＬＴが限り無しということはないがしかし馴染み難いとしたらそれは雄々しかない"が導かれる
5. 推論3と推論4から、推論5: "このＡＬＴは雄々しいということはない"が導かれる
6. 事実24と事実19から、推論6: "このＡＬＴは嬲る"が導かれる
7. 推論5と推論6から、仮説が否定される

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