あの日中文化交流は蹴飛ばす
fact1: もしもあの食人鬼が難くないとしたらあの日中文化交流は本するかまたは縦横比でないかまたは両方ともだ fact2: この一致協力は御預けする fact3: もし仮に何かは本するかもしくは縦横比でないかまたはどちらもであるとすると蹴飛ばすということはない fact4: もし仮にとある物が蹴飛ばさないが縦横比だとすればあの南蛮甲冑は本するということはない fact5: もし「何かはつれなくない一方で難い」ということは誤っているならそれは確認し易い fact6: 何らかのものは本しないなら「つれなくないしかつ難い」ということは誤りだ fact7: もし仮にこの賃金体系が四角いということはなくてまたそれがつれなくないとするとあの食人鬼は難くない fact8: この一致協力は潰せるしおまけにそれは伝え易い fact9: なんらかのものが御預けすればそれは利用し易い fact10: もし仮にこの一致協力が潰せるしおまけに伝え易いならばあの腹芸は四角いということはない fact11: もしもとある物が利用し易いならそれは蹴飛ばさないしその上縦横比だ fact12: あの腹芸が四角いということはないとするとこの賃金体系が四角くないしさらにそれはつれなくない fact13: もしこの賃金体系が四角いがしかしつれなくないとすればあの食人鬼は難いということはない
fact10 & fact8 -> int1: あの腹芸は四角くない; int1 & fact12 -> int2: この賃金体系は四角いということはなくてつれなくない; int2 & fact7 -> int3: あの食人鬼は難いということはない; int3 & fact1 -> int4: あの日中文化交流は本するかあるいは縦横比でないか両方だ; fact3 -> int5: もしあの日中文化交流が本するかあるいはそれは縦横比であるということはないか両方だとしたらそれは蹴飛ばさない; int4 & int5 -> hypothesis;
あの南蛮甲冑は確認し易いかそれは四角くないか両方ともである
fact14 -> int6: 仮に「あの南蛮甲冑はつれなくない一方で難い」ということは誤りなら確認し易い; fact19 -> int7: あの南蛮甲冑は本しないとしたら「つれなくないけど難い」ということは嘘だ; fact15 -> int8: 仮にこの一致協力が利用し易いならそれは蹴飛ばさないが縦横比である; fact18 -> int9: この一致協力が御預けするとすれば利用し易い; int9 & fact17 -> int10: この一致協力は利用し易い; int8 & int10 -> int11: この一致協力は蹴飛ばさないがしかしそれは縦横比である; int11 -> int12: 何らかの物は蹴飛ばすということはないがしかし縦横比だ; int12 & fact16 -> int13: あの南蛮甲冑は本しない; int7 & int13 -> int14: 「あの南蛮甲冑はつれなくないがしかし難い」ということは間違っている; int6 & int14 -> int15: あの南蛮甲冑は確認し易い; int15 -> hypothesis;
$facts$ = fact1: もしもあの食人鬼が難くないとしたらあの日中文化交流は本するかまたは縦横比でないかまたは両方ともだ fact2: この一致協力は御預けする fact3: もし仮に何かは本するかもしくは縦横比でないかまたはどちらもであるとすると蹴飛ばすということはない fact4: もし仮にとある物が蹴飛ばさないが縦横比だとすればあの南蛮甲冑は本するということはない fact5: もし「何かはつれなくない一方で難い」ということは誤っているならそれは確認し易い fact6: 何らかのものは本しないなら「つれなくないしかつ難い」ということは誤りだ fact7: もし仮にこの賃金体系が四角いということはなくてまたそれがつれなくないとするとあの食人鬼は難くない fact8: この一致協力は潰せるしおまけにそれは伝え易い fact9: なんらかのものが御預けすればそれは利用し易い fact10: もし仮にこの一致協力が潰せるしおまけに伝え易いならばあの腹芸は四角いということはない fact11: もしもとある物が利用し易いならそれは蹴飛ばさないしその上縦横比だ fact12: あの腹芸が四角いということはないとするとこの賃金体系が四角くないしさらにそれはつれなくない fact13: もしこの賃金体系が四角いがしかしつれなくないとすればあの食人鬼は難いということはない ; $hypothesis$ = あの日中文化交流は蹴飛ばす ; $proof$ = 
fact10 & fact8 -> int1: あの腹芸は四角くない; int1 & fact12 -> int2: この賃金体系は四角いということはなくてつれなくない; int2 & fact7 -> int3: あの食人鬼は難いということはない; int3 & fact1 -> int4: あの日中文化交流は本するかあるいは縦横比でないか両方だ; fact3 -> int5: もしあの日中文化交流が本するかあるいはそれは縦横比であるということはないか両方だとしたらそれは蹴飛ばさない; int4 & int5 -> hypothesis; __DISPROVED__
事実1: もしもあの食人鬼が難くないとしたらあの日中文化交流は本するかまたは縦横比でないかまたは両方ともだ
事実2: この一致協力は御預けする
事実3: もし仮に何かは本するかもしくは縦横比でないかまたはどちらもであるとすると蹴飛ばすということはない
事実4: もし仮にとある物が蹴飛ばさないが縦横比だとすればあの南蛮甲冑は本するということはない
事実5: もし「何かはつれなくない一方で難い」ということは誤っているならそれは確認し易い
事実6: 何らかのものは本しないなら「つれなくないしかつ難い」ということは誤りだ
事実7: もし仮にこの賃金体系が四角いということはなくてまたそれがつれなくないとするとあの食人鬼は難くない
事実8: この一致協力は潰せるしおまけにそれは伝え易い
事実9: なんらかのものが御預けすればそれは利用し易い
事実10: もし仮にこの一致協力が潰せるしおまけに伝え易いならばあの腹芸は四角いということはない
事実11: もしもとある物が利用し易いならそれは蹴飛ばさないしその上縦横比だ
事実12: あの腹芸が四角いということはないとするとこの賃金体系が四角くないしさらにそれはつれなくない
事実13: もしこの賃金体系が四角いがしかしつれなくないとすればあの食人鬼は難いということはない

仮説: あの日中文化交流は蹴飛ばす
1. 事実10と事実8から、推論1: "あの腹芸は四角くない"が導かれる
2. 推論1と事実12から、推論2: "この賃金体系は四角いということはなくてつれなくない"が導かれる
3. 推論2と事実7から、推論3: "あの食人鬼は難いということはない"が導かれる
4. 推論3と事実1から、推論4: "あの日中文化交流は本するかあるいは縦横比でないか両方だ"が導かれる
5. 事実3から、推論5: "もしあの日中文化交流が本するかあるいはそれは縦横比であるということはないか両方だとしたらそれは蹴飛ばさない"が導かれる
6. 推論4と推論5から、仮説が否定される

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