その国政上は豚箱であるがコートしない
fact1: 仮にあのオープン・Ｐが万歳するとしたらあの競争上はコートする fact2: 「「第三集であるが来談しない」ということは嘘な」物はある fact3: 「その国政上は豚箱だしそれにコートする」ということは偽である fact4: あの漫画文化は豚箱だ fact5: その国政上は形容し難い fact6: もし仮にとある物が万歳すればそれは豚箱だ一方でコートしない fact7: その国政上は雪深いとすれば「あのオープン・Ｐは豚箱である」ということは正しい fact8: 「その国政上は雪深い」ということは確かならばあのオープン・Ｐはコートする fact9: あのオープン・Ｐは呷る fact10: もしその国政上は豚箱であるならば「あの競争上はコートする一方でそれは豚箱でない」ということは間違っている fact11: もしもあの競争上はコートするとすれば「その国政上は豚箱である一方でコートしない」ということは本当でない fact12: もし仮にあの競争上はコートするとしたら「その国政上は豚箱であるしコートする」ということは偽である fact13: 「「第三集だがしかし来談するということはない」ということは間違いである」物があればあのオープン・Ｐは来談する fact14: もし仮にその国政上はコートするとすると「あの競争上は豚箱であるけれどコートしない」ということは嘘だ fact15: あのオープン・Ｐは万歳するかそれは雪深い fact16: もし仮に「あのオープン・Ｐはコートする」ということは本当であるとすればその国政上は万歳する fact17: あのピボットテーブルはコートする fact18: あのオープン・Ｐは来談するし呷るとすれば羽織でない fact19: もしもあのオープン・Ｐが雪深いとするとあの競争上はコートする fact20: 「その国政上は雪深いけどコートしない」ということは事実であるということはない
fact15 & fact1 & fact19 -> int1: あの競争上はコートする; int1 & fact11 -> hypothesis;
fact15 & fact1 & fact19 -> int1: {C}{c}; int1 & fact11 -> hypothesis;
その国政上は豚箱であるがそれはコートしない
fact21 -> int2: その国政上が万歳するとすれば豚箱だし加えてコートしない; fact22 & fact24 -> int3: あのオープン・Ｐは来談する; int3 & fact23 -> int4: あのオープン・Ｐは来談するししかもそれは呷る; fact25 & int4 -> int5: あのオープン・Ｐは羽織でない;
$facts$ = fact1: 仮にあのオープン・Ｐが万歳するとしたらあの競争上はコートする fact2: 「「第三集であるが来談しない」ということは嘘な」物はある fact3: 「その国政上は豚箱だしそれにコートする」ということは偽である fact4: あの漫画文化は豚箱だ fact5: その国政上は形容し難い fact6: もし仮にとある物が万歳すればそれは豚箱だ一方でコートしない fact7: その国政上は雪深いとすれば「あのオープン・Ｐは豚箱である」ということは正しい fact8: 「その国政上は雪深い」ということは確かならばあのオープン・Ｐはコートする fact9: あのオープン・Ｐは呷る fact10: もしその国政上は豚箱であるならば「あの競争上はコートする一方でそれは豚箱でない」ということは間違っている fact11: もしもあの競争上はコートするとすれば「その国政上は豚箱である一方でコートしない」ということは本当でない fact12: もし仮にあの競争上はコートするとしたら「その国政上は豚箱であるしコートする」ということは偽である fact13: 「「第三集だがしかし来談するということはない」ということは間違いである」物があればあのオープン・Ｐは来談する fact14: もし仮にその国政上はコートするとすると「あの競争上は豚箱であるけれどコートしない」ということは嘘だ fact15: あのオープン・Ｐは万歳するかそれは雪深い fact16: もし仮に「あのオープン・Ｐはコートする」ということは本当であるとすればその国政上は万歳する fact17: あのピボットテーブルはコートする fact18: あのオープン・Ｐは来談するし呷るとすれば羽織でない fact19: もしもあのオープン・Ｐが雪深いとするとあの競争上はコートする fact20: 「その国政上は雪深いけどコートしない」ということは事実であるということはない ; $hypothesis$ = その国政上は豚箱であるがコートしない ; $proof$ = 
fact15 & fact1 & fact19 -> int1: あの競争上はコートする; int1 & fact11 -> hypothesis; __DISPROVED__
事実1: 仮にあのオープン・Ｐが万歳するとしたらあの競争上はコートする
事実2: 「「第三集であるが来談しない」ということは嘘な」物はある
事実3: 「その国政上は豚箱だしそれにコートする」ということは偽である
事実4: あの漫画文化は豚箱だ
事実5: その国政上は形容し難い
事実6: もし仮にとある物が万歳すればそれは豚箱だ一方でコートしない
事実7: その国政上は雪深いとすれば「あのオープン・Ｐは豚箱である」ということは正しい
事実8: 「その国政上は雪深い」ということは確かならばあのオープン・Ｐはコートする
事実9: あのオープン・Ｐは呷る
事実10: もしその国政上は豚箱であるならば「あの競争上はコートする一方でそれは豚箱でない」ということは間違っている
事実11: もしもあの競争上はコートするとすれば「その国政上は豚箱である一方でコートしない」ということは本当でない
事実12: もし仮にあの競争上はコートするとしたら「その国政上は豚箱であるしコートする」ということは偽である
事実13: 「「第三集だがしかし来談するということはない」ということは間違いである」物があればあのオープン・Ｐは来談する
事実14: もし仮にその国政上はコートするとすると「あの競争上は豚箱であるけれどコートしない」ということは嘘だ
事実15: あのオープン・Ｐは万歳するかそれは雪深い
事実16: もし仮に「あのオープン・Ｐはコートする」ということは本当であるとすればその国政上は万歳する
事実17: あのピボットテーブルはコートする
事実18: あのオープン・Ｐは来談するし呷るとすれば羽織でない
事実19: もしもあのオープン・Ｐが雪深いとするとあの競争上はコートする
事実20: 「その国政上は雪深いけどコートしない」ということは事実であるということはない

仮説: その国政上は豚箱であるがコートしない
1. 事実15と事実1と事実19から、推論1: "あの競争上はコートする"が導かれる
2. 推論1と事実11から、仮説が否定される

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