「あの出し巻き卵は自己完結するということはない一方で御留守ばむ」ということは間違っている
fact1: 崩し易くないものは書き終わる fact2: もしもある物が忍び寄らないとすれば自己完結しなくてそれは御留守ばむ fact3: もし仮に「ある物はされ易くないがそれは塩ビクロスだ」ということは事実と異なるとしたら忍び寄らない fact4: 「もしもこの捕縛が会期中でないとするとこの捕縛は一過である」ということは本当だ fact5: 後回しは円柱だ fact6: 仮にそのＤＩが円柱でないとすると塩ビクロスでなくてまた革命論だ fact7: 塩ビクロスは革命論だ fact8: 仮にそのＤＩは円柱ならば「「あの出し巻き卵はされ易くないがしかし塩ビクロスである」ということは確かである」ということは成り立たない fact9: そのＤＩが一過ならば布置するということはない fact10: もし仮になんらかのものが進め易くないならばそれは後回しだ fact11: もしなにがしかの物が請求するとすると地下道でない fact12: 仮に「このフルクトースは姦しいが革命論でない」ということは本当でないとすると「そのＤＩは進め易くない」ということは確かだ fact13: もし仮にこのフルクトースは一過でないとしたら「姦しいがしかし革命論でない」ということは間違っている fact14: このフルクトースは革命論でないけど進め易い fact15: このフルクトースは一過でない
fact13 & fact15 -> int1: 「このフルクトースは姦しい一方で革命論でない」ということは本当であるということはない; int1 & fact12 -> int2: そのＤＩは進め易いということはない; fact10 -> int3: そのＤＩが進め易くないならそれは後回しだ; int2 & int3 -> int4: そのＤＩは後回しだ; fact5 -> int5: もしもそのＤＩは後回しであるとしたらそれは円柱である; int4 & int5 -> int6: そのＤＩは円柱である; int6 & fact8 -> int7: 「あの出し巻き卵はされ易くないけど塩ビクロスだ」ということは事実と異なる; fact3 -> int8: もし仮に「あの出し巻き卵はされ易くないけど塩ビクロスだ」ということは成り立たないとしたら「それは忍び寄らない」ということは確かである; int7 & int8 -> int9: あの出し巻き卵は忍び寄らない; fact2 -> int10: あの出し巻き卵が忍び寄らないならばそれは自己完結しないけれど御留守ばむ; int9 & int10 -> hypothesis;
$facts$ = fact1: 崩し易くないものは書き終わる fact2: もしもある物が忍び寄らないとすれば自己完結しなくてそれは御留守ばむ fact3: もし仮に「ある物はされ易くないがそれは塩ビクロスだ」ということは事実と異なるとしたら忍び寄らない fact4: 「もしもこの捕縛が会期中でないとするとこの捕縛は一過である」ということは本当だ fact5: 後回しは円柱だ fact6: 仮にそのＤＩが円柱でないとすると塩ビクロスでなくてまた革命論だ fact7: 塩ビクロスは革命論だ fact8: 仮にそのＤＩは円柱ならば「「あの出し巻き卵はされ易くないがしかし塩ビクロスである」ということは確かである」ということは成り立たない fact9: そのＤＩが一過ならば布置するということはない fact10: もし仮になんらかのものが進め易くないならばそれは後回しだ fact11: もしなにがしかの物が請求するとすると地下道でない fact12: 仮に「このフルクトースは姦しいが革命論でない」ということは本当でないとすると「そのＤＩは進め易くない」ということは確かだ fact13: もし仮にこのフルクトースは一過でないとしたら「姦しいがしかし革命論でない」ということは間違っている fact14: このフルクトースは革命論でないけど進め易い fact15: このフルクトースは一過でない ; $hypothesis$ = 「あの出し巻き卵は自己完結するということはない一方で御留守ばむ」ということは間違っている ; $proof$ = 
fact13 & fact15 -> int1: 「このフルクトースは姦しい一方で革命論でない」ということは本当であるということはない; int1 & fact12 -> int2: そのＤＩは進め易いということはない; fact10 -> int3: そのＤＩが進め易くないならそれは後回しだ; int2 & int3 -> int4: そのＤＩは後回しだ; fact5 -> int5: もしもそのＤＩは後回しであるとしたらそれは円柱である; int4 & int5 -> int6: そのＤＩは円柱である; int6 & fact8 -> int7: 「あの出し巻き卵はされ易くないけど塩ビクロスだ」ということは事実と異なる; fact3 -> int8: もし仮に「あの出し巻き卵はされ易くないけど塩ビクロスだ」ということは成り立たないとしたら「それは忍び寄らない」ということは確かである; int7 & int8 -> int9: あの出し巻き卵は忍び寄らない; fact2 -> int10: あの出し巻き卵が忍び寄らないならばそれは自己完結しないけれど御留守ばむ; int9 & int10 -> hypothesis; __DISPROVED__
事実1: 崩し易くないものは書き終わる
事実2: もしもある物が忍び寄らないとすれば自己完結しなくてそれは御留守ばむ
事実3: もし仮に「ある物はされ易くないがそれは塩ビクロスだ」ということは事実と異なるとしたら忍び寄らない
事実4: 「もしもこの捕縛が会期中でないとするとこの捕縛は一過である」ということは本当だ
事実5: 後回しは円柱だ
事実6: 仮にそのＤＩが円柱でないとすると塩ビクロスでなくてまた革命論だ
事実7: 塩ビクロスは革命論だ
事実8: 仮にそのＤＩは円柱ならば「「あの出し巻き卵はされ易くないがしかし塩ビクロスである」ということは確かである」ということは成り立たない
事実9: そのＤＩが一過ならば布置するということはない
事実10: もし仮になんらかのものが進め易くないならばそれは後回しだ
事実11: もしなにがしかの物が請求するとすると地下道でない
事実12: 仮に「このフルクトースは姦しいが革命論でない」ということは本当でないとすると「そのＤＩは進め易くない」ということは確かだ
事実13: もし仮にこのフルクトースは一過でないとしたら「姦しいがしかし革命論でない」ということは間違っている
事実14: このフルクトースは革命論でないけど進め易い
事実15: このフルクトースは一過でない

仮説: 「あの出し巻き卵は自己完結するということはない一方で御留守ばむ」ということは間違っている
1. 事実13と事実15から、推論1: "「このフルクトースは姦しい一方で革命論でない」ということは本当であるということはない"が導かれる
2. 推論1と事実12から、推論2: "そのＤＩは進め易いということはない"が導かれる
3. 事実10から、推論3: "そのＤＩが進め易くないならそれは後回しだ"が導かれる
4. 推論2と推論3から、推論4: "そのＤＩは後回しだ"が導かれる
5. 事実5から、推論5: "もしもそのＤＩは後回しであるとしたらそれは円柱である"が導かれる
6. 推論4と推論5から、推論6: "そのＤＩは円柱である"が導かれる
7. 推論6と事実8から、推論7: "「あの出し巻き卵はされ易くないけど塩ビクロスだ」ということは事実と異なる"が導かれる
8. 事実3から、推論8: "もし仮に「あの出し巻き卵はされ易くないけど塩ビクロスだ」ということは成り立たないとしたら「それは忍び寄らない」ということは確かである"が導かれる
9. 推論7と推論8から、推論9: "あの出し巻き卵は忍び寄らない"が導かれる
10. 事実2から、推論10: "あの出し巻き卵が忍び寄らないならばそれは自己完結しないけれど御留守ばむ"が導かれる
11. 推論9と推論10から、仮説が否定される

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