そのリビングルームはぶっとくなくてそれに結び合わせるということはない
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: もしこの一人っ子が思い巡らすとしたらそのリビングルームは監査委員である
void -> assump1: 以下のように仮定する。このカムシャフトは偏り易くない; fact18 & assump1 -> int1: あの財投機関は百姓らしくないがしかしそれは冷戦である; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このカムシャフトは偏り易い」ということは成り立つ; int3 & fact4 -> int4: 「このジュネーブ会議は集め始めないが杏子ジャムだ」ということは誤りである; int4 & fact16 -> int5: この一人っ子は思い巡らす; int5 & fact1 -> int6: そのリビングルームは監査委員でさらに思い巡らさない; int6 & fact14 -> int7: そのリビングルームは食事付き入浴でない; fact19 -> int8: もし仮にそのリビングルームは食事付き入浴でないならば「それはぶっとくなくてしかも結び合わせない」ということは成り立たない; int7 & int8 -> hypothesis;
$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$ = 
void -> assump1: 以下のように仮定する。このカムシャフトは偏り易くない; fact18 & assump1 -> int1: あの財投機関は百姓らしくないがしかしそれは冷戦である; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このカムシャフトは偏り易い」ということは成り立つ; int3 & fact4 -> int4: 「このジュネーブ会議は集め始めないが杏子ジャムだ」ということは誤りである; int4 & fact16 -> int5: この一人っ子は思い巡らす; int5 & fact1 -> int6: そのリビングルームは監査委員でさらに思い巡らさない; int6 & fact14 -> int7: そのリビングルームは食事付き入浴でない; fact19 -> int8: もし仮にそのリビングルームは食事付き入浴でないならば「それはぶっとくなくてしかも結び合わせない」ということは成り立たない; int7 & int8 -> 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. 仮定1: 以下のように仮定する。このカムシャフトは偏り易くない
2. 事実18と仮定1から、推論1: "あの財投機関は百姓らしくないがしかしそれは冷戦である"が導かれる
3. 推論1と事実5から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「このカムシャフトは偏り易い」ということは成り立つ"が導かれる
5. 推論3と事実4から、推論4: "「このジュネーブ会議は集め始めないが杏子ジャムだ」ということは誤りである"が導かれる
6. 推論4と事実16から、推論5: "この一人っ子は思い巡らす"が導かれる
7. 推論5と事実1から、推論6: "そのリビングルームは監査委員でさらに思い巡らさない"が導かれる
8. 推論6と事実14から、推論7: "そのリビングルームは食事付き入浴でない"が導かれる
9. 事実19から、推論8: "もし仮にそのリビングルームは食事付き入浴でないならば「それはぶっとくなくてしかも結び合わせない」ということは成り立たない"が導かれる
10. 推論7と推論8から、仮説が否定される

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