「この大敗は遣り逃げするしコンプレキシティーである」ということは成り立つということはない
fact1: 仮に「この内科的治療は乳臭いということはないしそれは遣り逃げしない」ということは成り立たないならあの本棚は乳臭くない fact2: この屏風土代が謹啓でないししかも町議会でないならばあの本棚は謹啓でない fact3: 優しない物は国語科であるということはないか継続し難くないか両方だ fact4: 「棚上げしない」物はあるとすると「「この大敗は乳臭いけれど謹啓でない」ということは誤りである」ということは本当である fact5: もしも何らかの物はへし折るけど掻き回さないならば優し fact6: 町議会はコンプレキシティーである fact7: なんらかの物はコンプレキシティーでないとすれば「それは乳臭くないし遣り逃げしない」ということは事実と異なる fact8: 仮になにがしかのものが棚上げしないとするとそれは優しない fact9: もし「この大敗は謹啓である」ということは確かだとすれば遣り逃げする fact10: この大敗は町議会である fact11: 仮にあの豊田家は国語科でないとしたらそれはへし折るが掻き回さない fact12: あの本棚が乳臭くないししかも謹啓でないとしたらこの大敗は棚上げしない fact13: 仮にあの異議有りが国語科でないならばあの豊田家は込み上げない fact14: 仮にこの大敗が国語科でないならあの異議有りは国語科でない fact15: あるものが上京するかあるいはそれは離るかもしくはどちらもだとすると「コンプレキシティーでない」ということは成り立つ fact16: もしあの豊田家が優しとすればあの異議有りは継続し難いけれど棚上げしない fact17: あの豊田家は国語科でない fact18: もし仮に「この大敗は乳臭いけど謹啓でない」ということは間違いであるとしたらそれは遣り逃げする fact19: この内科的治療は上京するかもしくはそれは離る
fact11 & fact17 -> int1: あの豊田家はへし折るけれど掻き回すということはない; fact5 -> int2: 仮にあの豊田家がへし折るがしかし掻き回すということはないとすれば優し; int1 & int2 -> int3: あの豊田家は優し; int3 & fact16 -> int4: あの異議有りは継続し難いがそれは棚上げしない; int4 -> int5: あの異議有りは棚上げしない; int5 -> int6: 「棚上げしない」ものはある; int6 & fact4 -> int7: 「この大敗は乳臭いけれど謹啓でない」ということは成り立たない; int7 & fact18 -> int8: この大敗は遣り逃げする; fact6 -> int9: 仮にこの大敗が町議会ならばコンプレキシティーだ; int9 & fact10 -> int10: この大敗はコンプレキシティーである; int8 & int10 -> hypothesis;
「込み上げない」物はある
fact27 -> int11: もし仮にこの大敗が優しないならそれは国語科でないかまたは継続し難いということはないかあるいは両方である; fact21 -> int12: 仮にこの大敗が棚上げしないとしたらそれは優しない; fact20 -> int13: 仮にこの内科的治療はコンプレキシティーでないなら「それは乳臭くなくて加えて遣り逃げしない」ということは誤りである; fact23 -> int14: もしもこの内科的治療は上京するか離るかどちらもだとすればコンプレキシティーでない; int14 & fact22 -> int15: この内科的治療はコンプレキシティーでない; int13 & int15 -> int16: 「この内科的治療は乳臭いということはないし更にそれは遣り逃げするということはない」ということは成り立たない; fact26 & int16 -> int17: 「あの本棚は乳臭くない」ということは成り立つ;
$facts$ = fact1: 仮に「この内科的治療は乳臭いということはないしそれは遣り逃げしない」ということは成り立たないならあの本棚は乳臭くない fact2: この屏風土代が謹啓でないししかも町議会でないならばあの本棚は謹啓でない fact3: 優しない物は国語科であるということはないか継続し難くないか両方だ fact4: 「棚上げしない」物はあるとすると「「この大敗は乳臭いけれど謹啓でない」ということは誤りである」ということは本当である fact5: もしも何らかの物はへし折るけど掻き回さないならば優し fact6: 町議会はコンプレキシティーである fact7: なんらかの物はコンプレキシティーでないとすれば「それは乳臭くないし遣り逃げしない」ということは事実と異なる fact8: 仮になにがしかのものが棚上げしないとするとそれは優しない fact9: もし「この大敗は謹啓である」ということは確かだとすれば遣り逃げする fact10: この大敗は町議会である fact11: 仮にあの豊田家は国語科でないとしたらそれはへし折るが掻き回さない fact12: あの本棚が乳臭くないししかも謹啓でないとしたらこの大敗は棚上げしない fact13: 仮にあの異議有りが国語科でないならばあの豊田家は込み上げない fact14: 仮にこの大敗が国語科でないならあの異議有りは国語科でない fact15: あるものが上京するかあるいはそれは離るかもしくはどちらもだとすると「コンプレキシティーでない」ということは成り立つ fact16: もしあの豊田家が優しとすればあの異議有りは継続し難いけれど棚上げしない fact17: あの豊田家は国語科でない fact18: もし仮に「この大敗は乳臭いけど謹啓でない」ということは間違いであるとしたらそれは遣り逃げする fact19: この内科的治療は上京するかもしくはそれは離る ; $hypothesis$ = 「この大敗は遣り逃げするしコンプレキシティーである」ということは成り立つということはない ; $proof$ = 
fact11 & fact17 -> int1: あの豊田家はへし折るけれど掻き回すということはない; fact5 -> int2: 仮にあの豊田家がへし折るがしかし掻き回すということはないとすれば優し; int1 & int2 -> int3: あの豊田家は優し; int3 & fact16 -> int4: あの異議有りは継続し難いがそれは棚上げしない; int4 -> int5: あの異議有りは棚上げしない; int5 -> int6: 「棚上げしない」ものはある; int6 & fact4 -> int7: 「この大敗は乳臭いけれど謹啓でない」ということは成り立たない; int7 & fact18 -> int8: この大敗は遣り逃げする; fact6 -> int9: 仮にこの大敗が町議会ならばコンプレキシティーだ; int9 & fact10 -> int10: この大敗はコンプレキシティーである; int8 & int10 -> hypothesis; __DISPROVED__
事実1: 仮に「この内科的治療は乳臭いということはないしそれは遣り逃げしない」ということは成り立たないならあの本棚は乳臭くない
事実2: この屏風土代が謹啓でないししかも町議会でないならばあの本棚は謹啓でない
事実3: 優しない物は国語科であるということはないか継続し難くないか両方だ
事実4: 「棚上げしない」物はあるとすると「「この大敗は乳臭いけれど謹啓でない」ということは誤りである」ということは本当である
事実5: もしも何らかの物はへし折るけど掻き回さないならば優し
事実6: 町議会はコンプレキシティーである
事実7: なんらかの物はコンプレキシティーでないとすれば「それは乳臭くないし遣り逃げしない」ということは事実と異なる
事実8: 仮になにがしかのものが棚上げしないとするとそれは優しない
事実9: もし「この大敗は謹啓である」ということは確かだとすれば遣り逃げする
事実10: この大敗は町議会である
事実11: 仮にあの豊田家は国語科でないとしたらそれはへし折るが掻き回さない
事実12: あの本棚が乳臭くないししかも謹啓でないとしたらこの大敗は棚上げしない
事実13: 仮にあの異議有りが国語科でないならばあの豊田家は込み上げない
事実14: 仮にこの大敗が国語科でないならあの異議有りは国語科でない
事実15: あるものが上京するかあるいはそれは離るかもしくはどちらもだとすると「コンプレキシティーでない」ということは成り立つ
事実16: もしあの豊田家が優しとすればあの異議有りは継続し難いけれど棚上げしない
事実17: あの豊田家は国語科でない
事実18: もし仮に「この大敗は乳臭いけど謹啓でない」ということは間違いであるとしたらそれは遣り逃げする
事実19: この内科的治療は上京するかもしくはそれは離る

仮説: 「この大敗は遣り逃げするしコンプレキシティーである」ということは成り立つということはない
1. 事実11と事実17から、推論1: "あの豊田家はへし折るけれど掻き回すということはない"が導かれる
2. 事実5から、推論2: "仮にあの豊田家がへし折るがしかし掻き回すということはないとすれば優し"が導かれる
3. 推論1と推論2から、推論3: "あの豊田家は優し"が導かれる
4. 推論3と事実16から、推論4: "あの異議有りは継続し難いがそれは棚上げしない"が導かれる
5. 推論4から、推論5: "あの異議有りは棚上げしない"が導かれる
6. 推論5から、推論6: "「棚上げしない」ものはある"が導かれる
7. 推論6と事実4から、推論7: "「この大敗は乳臭いけれど謹啓でない」ということは成り立たない"が導かれる
8. 推論7と事実18から、推論8: "この大敗は遣り逃げする"が導かれる
9. 事実6から、推論9: "仮にこの大敗が町議会ならばコンプレキシティーだ"が導かれる
10. 推論9と事実10から、推論10: "この大敗はコンプレキシティーである"が導かれる
11. 推論8と推論10から、仮説が否定される

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