この大帝は刮ぐない
fact1: もしもこの消化管が代謝性アシドーシスだとするとこの礼金は掃討作戦である fact2: 「ある物は代謝性アシドーシスだしまた刮ぐ」ということは正しくないとすれば「刮ぐということはない」ということは確かだ fact3: この田原窪遺跡は観ぜない fact4: この消化管は信じ難くておまけにそれは代謝性アシドーシスだ fact5: 仮に「この田原窪遺跡は一年生達だということはない」ということは偽でないとしたらそれは力むしそれに狩り集める fact6: この消化管は掃討作戦だ fact7: もし仮にこの田原窪遺跡は観ずるということはないとすると「屋敷跡でなくてその上感じ難くない」ということは事実でない fact8: 仮にこの礼金が掃討作戦であるとすればあの大帝は刮ぐ fact9: もしこの消化管は信じ難くないとしたら「この大帝は代謝性アシドーシスであるしその上刮ぐ」ということは誤りである fact10: 仮にこの田原窪遺跡が感じ難いとしたらそれは一年生達でない fact11: もしこの消化管は掃討作戦だとすると「この礼金は信じ難い」ということは成り立つ fact12: もし仮に「この田原窪遺跡は屋敷跡でなくて感じ難くない」ということは間違いであるとするとそれは感じ難い fact13: この消化管は信じ難くて掃討作戦だ fact14: もしなんらかの物は読み掛けるとすれば「取り返せないしそれにか弱くない」ということは間違っている fact15: この消化管は信じ難い fact16: 仮にこの礼金が信じ難くないが愛飲するとしたらこの消化管は信じ難いということはない fact17: この田原窪遺跡は力むとしたら「あのフェデラルは第八航空軍でないかまたはそれは当たり札でないかどちらもだ」ということは間違っている fact18: もし仮に「なにかは取り返せないしそれにか弱くない」ということは成り立つということはないならば「取り返せない」ということは間違いだ fact19: もし「この大帝は代謝性アシドーシスである」ということは本当であるとしたらこの消化管は刮ぐ fact20: もし仮に「なにかは第八航空軍でないかまたは当たり札でないかまたはどちらもである」ということは誤っているとするとそれは読み掛ける fact21: このペナントは代謝性アシドーシスだ fact22: もしとあるものが取り返せるとするとそれは掃討作戦でなくて河野通文厩舎だ
fact4 -> int1: 「この消化管は代謝性アシドーシスだ」ということは事実と異ならない; int1 & fact1 -> int2: この礼金は掃討作戦である; int2 & fact8 -> hypothesis;
この大帝は刮ぐない
fact34 -> int3: もしも「この大帝は代謝性アシドーシスであるし更に刮ぐ」ということは偽であるならそれは刮ぐない; fact26 -> int4: あのフェデラルが取り返せるとするとそれは掃討作戦でないし加えてそれは河野通文厩舎だ; fact23 -> int5: もし「あのフェデラルは取り返せないしかつか弱くない」ということは間違っているとすれば取り返せる; fact27 -> int6: あのフェデラルは読み掛けるなら「取り返せるということはないしその上か弱くない」ということは成り立たない; fact29 -> int7: もしも「あのフェデラルは第八航空軍でないかあるいは当たり札であるということはないかどちらもである」ということは事実と異なれば読み掛ける; fact28 & fact35 -> int8: 「この田原窪遺跡が屋敷跡だということはないしさらに感じ難くない」ということは間違いだ; fact32 & int8 -> int9: この田原窪遺跡は感じ難い; fact25 & int9 -> int10: この田原窪遺跡は一年生達でない; fact31 & int10 -> int11: この田原窪遺跡は力むしその上狩り集める; int11 -> int12: この田原窪遺跡は力む; fact33 & int12 -> int13: 「あのフェデラルは第八航空軍でないかまたはそれは当たり札でない」ということは事実と異なる; int7 & int13 -> int14: あのフェデラルは読み掛ける; int6 & int14 -> int15: 「あのフェデラルは取り返せるということはないしその上か弱くない」ということは成り立たない; int5 & int15 -> int16: あのフェデラルは取り返せる; int4 & int16 -> int17: あのフェデラルは掃討作戦でないけど河野通文厩舎である; int17 -> int18: あのフェデラルは掃討作戦でない; int18 -> int19: とあるものは掃討作戦だということはない;
$facts$ = fact1: もしもこの消化管が代謝性アシドーシスだとするとこの礼金は掃討作戦である fact2: 「ある物は代謝性アシドーシスだしまた刮ぐ」ということは正しくないとすれば「刮ぐということはない」ということは確かだ fact3: この田原窪遺跡は観ぜない fact4: この消化管は信じ難くておまけにそれは代謝性アシドーシスだ fact5: 仮に「この田原窪遺跡は一年生達だということはない」ということは偽でないとしたらそれは力むしそれに狩り集める fact6: この消化管は掃討作戦だ fact7: もし仮にこの田原窪遺跡は観ずるということはないとすると「屋敷跡でなくてその上感じ難くない」ということは事実でない fact8: 仮にこの礼金が掃討作戦であるとすればあの大帝は刮ぐ fact9: もしこの消化管は信じ難くないとしたら「この大帝は代謝性アシドーシスであるしその上刮ぐ」ということは誤りである fact10: 仮にこの田原窪遺跡が感じ難いとしたらそれは一年生達でない fact11: もしこの消化管は掃討作戦だとすると「この礼金は信じ難い」ということは成り立つ fact12: もし仮に「この田原窪遺跡は屋敷跡でなくて感じ難くない」ということは間違いであるとするとそれは感じ難い fact13: この消化管は信じ難くて掃討作戦だ fact14: もしなんらかの物は読み掛けるとすれば「取り返せないしそれにか弱くない」ということは間違っている fact15: この消化管は信じ難い fact16: 仮にこの礼金が信じ難くないが愛飲するとしたらこの消化管は信じ難いということはない fact17: この田原窪遺跡は力むとしたら「あのフェデラルは第八航空軍でないかまたはそれは当たり札でないかどちらもだ」ということは間違っている fact18: もし仮に「なにかは取り返せないしそれにか弱くない」ということは成り立つということはないならば「取り返せない」ということは間違いだ fact19: もし「この大帝は代謝性アシドーシスである」ということは本当であるとしたらこの消化管は刮ぐ fact20: もし仮に「なにかは第八航空軍でないかまたは当たり札でないかまたはどちらもである」ということは誤っているとするとそれは読み掛ける fact21: このペナントは代謝性アシドーシスだ fact22: もしとあるものが取り返せるとするとそれは掃討作戦でなくて河野通文厩舎だ ; $hypothesis$ = この大帝は刮ぐない ; $proof$ = 
fact4 -> int1: 「この消化管は代謝性アシドーシスだ」ということは事実と異ならない; int1 & fact1 -> int2: この礼金は掃討作戦である; int2 & fact8 -> hypothesis; __DISPROVED__
事実1: もしもこの消化管が代謝性アシドーシスだとするとこの礼金は掃討作戦である
事実2: 「ある物は代謝性アシドーシスだしまた刮ぐ」ということは正しくないとすれば「刮ぐということはない」ということは確かだ
事実3: この田原窪遺跡は観ぜない
事実4: この消化管は信じ難くておまけにそれは代謝性アシドーシスだ
事実5: 仮に「この田原窪遺跡は一年生達だということはない」ということは偽でないとしたらそれは力むしそれに狩り集める
事実6: この消化管は掃討作戦だ
事実7: もし仮にこの田原窪遺跡は観ずるということはないとすると「屋敷跡でなくてその上感じ難くない」ということは事実でない
事実8: 仮にこの礼金が掃討作戦であるとすればあの大帝は刮ぐ
事実9: もしこの消化管は信じ難くないとしたら「この大帝は代謝性アシドーシスであるしその上刮ぐ」ということは誤りである
事実10: 仮にこの田原窪遺跡が感じ難いとしたらそれは一年生達でない
事実11: もしこの消化管は掃討作戦だとすると「この礼金は信じ難い」ということは成り立つ
事実12: もし仮に「この田原窪遺跡は屋敷跡でなくて感じ難くない」ということは間違いであるとするとそれは感じ難い
事実13: この消化管は信じ難くて掃討作戦だ
事実14: もしなんらかの物は読み掛けるとすれば「取り返せないしそれにか弱くない」ということは間違っている
事実15: この消化管は信じ難い
事実16: 仮にこの礼金が信じ難くないが愛飲するとしたらこの消化管は信じ難いということはない
事実17: この田原窪遺跡は力むとしたら「あのフェデラルは第八航空軍でないかまたはそれは当たり札でないかどちらもだ」ということは間違っている
事実18: もし仮に「なにかは取り返せないしそれにか弱くない」ということは成り立つということはないならば「取り返せない」ということは間違いだ
事実19: もし「この大帝は代謝性アシドーシスである」ということは本当であるとしたらこの消化管は刮ぐ
事実20: もし仮に「なにかは第八航空軍でないかまたは当たり札でないかまたはどちらもである」ということは誤っているとするとそれは読み掛ける
事実21: このペナントは代謝性アシドーシスだ
事実22: もしとあるものが取り返せるとするとそれは掃討作戦でなくて河野通文厩舎だ

仮説: この大帝は刮ぐない
1. 事実4から、推論1: "「この消化管は代謝性アシドーシスだ」ということは事実と異ならない"が導かれる
2. 推論1と事実1から、推論2: "この礼金は掃討作戦である"が導かれる
3. 推論2と事実8から、仮説が否定される

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