その蕪は平べったくない
fact1: 仮に「この逆立ちはエクスプローラーであるかまたは対談であるかまたはどちらもである」ということは間違いであるならば「その蕪は平べったい」ということは確かだ fact2: 「この逆立ちはエクスプローラーでないかもしくは平べったいか両方である」ということは事実と異なる fact3: 「この逆立ちはエクスプローラーでないかまたは対談であるかあるいは両方だ」ということは偽だ fact4: もし仮に「この逆立ちはエクスプローラーでないかまたは対談であるか両方だ」ということは成り立たないならその蕪は平べったい fact5: 何らかのものがパネルデータでないししかもそれが平べったくないとすればそれは仰臥する fact6: 「その蕪はみみっちくないかまたはそれは捕らえ難い」ということは成り立たない fact7: もし「この逆立ちは平べったくないかエクスプローラーである」ということは成り立たないとしたらその蕪は対談だ fact8: この逆立ちはエクスプローラーだ fact9: もしもその基本的認識が聞き忘れないしぷりぷりしないとしたら「この逆立ちはぷりぷりする」ということは真実だ fact10: 「あの格付け会社は対談でないかそれはとろいかあるいは両方ともである」ということは誤っている fact11: もし仮にとあるものがパネルデータでないならそれは平べったくないしそれは仰臥する fact12: 仮にこの書院番頭が仰臥するとしたらそれはエクスプローラーだ
fact4 & fact3 -> hypothesis;
fact4 & fact3 -> hypothesis;
この書院番頭はエクスプローラーである
fact14 -> int1: 「この書院番頭がパネルデータでなくて加えて平べったくないとすればあの書院番頭は仰臥する」ということは真実だ;
$facts$ = fact1: 仮に「この逆立ちはエクスプローラーであるかまたは対談であるかまたはどちらもである」ということは間違いであるならば「その蕪は平べったい」ということは確かだ fact2: 「この逆立ちはエクスプローラーでないかもしくは平べったいか両方である」ということは事実と異なる fact3: 「この逆立ちはエクスプローラーでないかまたは対談であるかあるいは両方だ」ということは偽だ fact4: もし仮に「この逆立ちはエクスプローラーでないかまたは対談であるか両方だ」ということは成り立たないならその蕪は平べったい fact5: 何らかのものがパネルデータでないししかもそれが平べったくないとすればそれは仰臥する fact6: 「その蕪はみみっちくないかまたはそれは捕らえ難い」ということは成り立たない fact7: もし「この逆立ちは平べったくないかエクスプローラーである」ということは成り立たないとしたらその蕪は対談だ fact8: この逆立ちはエクスプローラーだ fact9: もしもその基本的認識が聞き忘れないしぷりぷりしないとしたら「この逆立ちはぷりぷりする」ということは真実だ fact10: 「あの格付け会社は対談でないかそれはとろいかあるいは両方ともである」ということは誤っている fact11: もし仮にとあるものがパネルデータでないならそれは平べったくないしそれは仰臥する fact12: 仮にこの書院番頭が仰臥するとしたらそれはエクスプローラーだ ; $hypothesis$ = その蕪は平べったくない ; $proof$ = 
fact4 & fact3 -> hypothesis; __DISPROVED__
事実1: 仮に「この逆立ちはエクスプローラーであるかまたは対談であるかまたはどちらもである」ということは間違いであるならば「その蕪は平べったい」ということは確かだ
事実2: 「この逆立ちはエクスプローラーでないかもしくは平べったいか両方である」ということは事実と異なる
事実3: 「この逆立ちはエクスプローラーでないかまたは対談であるかあるいは両方だ」ということは偽だ
事実4: もし仮に「この逆立ちはエクスプローラーでないかまたは対談であるか両方だ」ということは成り立たないならその蕪は平べったい
事実5: 何らかのものがパネルデータでないししかもそれが平べったくないとすればそれは仰臥する
事実6: 「その蕪はみみっちくないかまたはそれは捕らえ難い」ということは成り立たない
事実7: もし「この逆立ちは平べったくないかエクスプローラーである」ということは成り立たないとしたらその蕪は対談だ
事実8: この逆立ちはエクスプローラーだ
事実9: もしもその基本的認識が聞き忘れないしぷりぷりしないとしたら「この逆立ちはぷりぷりする」ということは真実だ
事実10: 「あの格付け会社は対談でないかそれはとろいかあるいは両方ともである」ということは誤っている
事実11: もし仮にとあるものがパネルデータでないならそれは平べったくないしそれは仰臥する
事実12: 仮にこの書院番頭が仰臥するとしたらそれはエクスプローラーだ

仮説: その蕪は平べったくない
1. 事実4と事実3から、仮説が否定される

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