この正午頃は大爆発するということはない
fact1: あの品揃えはみみっちい fact2: 「その色味はみみっちい」ということは成り立つ fact3: 「この正午頃はみみっちい」ということは成り立つ fact4: 「この正午頃はすっごーい」ということは本当である fact5: その給付対象はみみっちい fact6: その色味は大爆発する fact7: この正午頃がみみっちいとしたらその色味は大爆発する fact8: あらゆるものは軽ーいということはないけど主計官だ fact9: その色味がみみっちいならこの正午頃は大爆発する fact10: もしもとある物が判断材料でないとしたらそれは大爆発するしみみっちい fact11: もし「なにがしかのものは気乗りするということはなくてまた許容しない」ということは成り立つということはないならば「判断材料でない」ということは確かだ fact12: その色味は鉄壁である fact13: この正午頃は灯し難い fact14: 仮にその色味が大爆発するとしたらこの正午頃はみみっちい fact15: 「その環境福祉は許容するかまたは気乗りしないか両方だ」ということは成り立つということはないとするとその色味はみみっちいということはない fact16: もしもあの登録会計事務所が軽ーいということはないがしかし主計官であるならその環境福祉は判断し難い fact17: 仮に「「気乗りしないし許容する」ということは成り立たない」ものがあるとすればその給付対象は判断材料でない fact18: もし仮に何らかのものは判断し難いなら「気乗りしないが許容する」ということは事実と異なる fact19: もしもその副委員長がみみっちいならこの正午頃は大爆発する fact20: もし「その色味は判断材料でない」ということは本当ならばこの正午頃はみみっちくない fact21: もし仮にその色味がみみっちくなくてまた判断材料であるということはないとすればこの正午頃は大爆発しない
fact9 & fact2 -> hypothesis;
fact9 & fact2 -> hypothesis;
この正午頃は大爆発しない
fact25 -> int1: 「その色味は気乗りするということはなくて更に許容しない」ということは成り立たないとすれば「それは判断材料でない」ということは正しい; fact24 -> int2: あの登録会計事務所は軽ーくないが主計官である; fact22 & int2 -> int3: その環境福祉は判断し難い; int3 -> int4: 「判断し難い」物はある;
$facts$ = fact1: あの品揃えはみみっちい fact2: 「その色味はみみっちい」ということは成り立つ fact3: 「この正午頃はみみっちい」ということは成り立つ fact4: 「この正午頃はすっごーい」ということは本当である fact5: その給付対象はみみっちい fact6: その色味は大爆発する fact7: この正午頃がみみっちいとしたらその色味は大爆発する fact8: あらゆるものは軽ーいということはないけど主計官だ fact9: その色味がみみっちいならこの正午頃は大爆発する fact10: もしもとある物が判断材料でないとしたらそれは大爆発するしみみっちい fact11: もし「なにがしかのものは気乗りするということはなくてまた許容しない」ということは成り立つということはないならば「判断材料でない」ということは確かだ fact12: その色味は鉄壁である fact13: この正午頃は灯し難い fact14: 仮にその色味が大爆発するとしたらこの正午頃はみみっちい fact15: 「その環境福祉は許容するかまたは気乗りしないか両方だ」ということは成り立つということはないとするとその色味はみみっちいということはない fact16: もしもあの登録会計事務所が軽ーいということはないがしかし主計官であるならその環境福祉は判断し難い fact17: 仮に「「気乗りしないし許容する」ということは成り立たない」ものがあるとすればその給付対象は判断材料でない fact18: もし仮に何らかのものは判断し難いなら「気乗りしないが許容する」ということは事実と異なる fact19: もしもその副委員長がみみっちいならこの正午頃は大爆発する fact20: もし「その色味は判断材料でない」ということは本当ならばこの正午頃はみみっちくない fact21: もし仮にその色味がみみっちくなくてまた判断材料であるということはないとすればこの正午頃は大爆発しない ; $hypothesis$ = この正午頃は大爆発するということはない ; $proof$ = 
fact9 & fact2 -> hypothesis; __DISPROVED__
事実1: あの品揃えはみみっちい
事実2: 「その色味はみみっちい」ということは成り立つ
事実3: 「この正午頃はみみっちい」ということは成り立つ
事実4: 「この正午頃はすっごーい」ということは本当である
事実5: その給付対象はみみっちい
事実6: その色味は大爆発する
事実7: この正午頃がみみっちいとしたらその色味は大爆発する
事実8: あらゆるものは軽ーいということはないけど主計官だ
事実9: その色味がみみっちいならこの正午頃は大爆発する
事実10: もしもとある物が判断材料でないとしたらそれは大爆発するしみみっちい
事実11: もし「なにがしかのものは気乗りするということはなくてまた許容しない」ということは成り立つということはないならば「判断材料でない」ということは確かだ
事実12: その色味は鉄壁である
事実13: この正午頃は灯し難い
事実14: 仮にその色味が大爆発するとしたらこの正午頃はみみっちい
事実15: 「その環境福祉は許容するかまたは気乗りしないか両方だ」ということは成り立つということはないとするとその色味はみみっちいということはない
事実16: もしもあの登録会計事務所が軽ーいということはないがしかし主計官であるならその環境福祉は判断し難い
事実17: 仮に「「気乗りしないし許容する」ということは成り立たない」ものがあるとすればその給付対象は判断材料でない
事実18: もし仮に何らかのものは判断し難いなら「気乗りしないが許容する」ということは事実と異なる
事実19: もしもその副委員長がみみっちいならこの正午頃は大爆発する
事実20: もし「その色味は判断材料でない」ということは本当ならばこの正午頃はみみっちくない
事実21: もし仮にその色味がみみっちくなくてまた判断材料であるということはないとすればこの正午頃は大爆発しない

仮説: この正午頃は大爆発するということはない
1. 事実9と事実2から、仮説が否定される

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