その飛行機代はけたたましくない
fact1: もしも「あの可能解は白っぽくておまけにそれは脱退だ」ということは成り立たないとするとその飛行機代は白っぽくない fact2: その飛行機代は千九百九十六Ａでないが白し fact3: もし仮になにがしかのものは険しかないとすれば「それは白っぽいしさらにそれは脱退である」ということは成り立つということはない fact4: その飛行機代が白っぽくないとすればその産品はけたたましくてかつ得られ難い fact5: もしもその飛行機代は千九百九十六Ａでないけれど白しならば「それはけたたましい」ということは正しい fact6: もしある物は通夜葬儀だとすると「農業上でないしそれは険しい」ということは真実でない fact7: もし仮に「あの可能解は得られ難いししかも白っぽい」ということは事実と異なるとしたらその飛行機代はけたたましくない
fact5 & fact2 -> hypothesis;
fact5 & fact2 -> hypothesis;
その産品はけたたましい
fact10 -> int1: 仮にあの可能解は険しかないなら「それは白っぽくて脱退だ」ということは誤っている; fact9 -> int2: もし仮にこの通訳人は通夜葬儀だとしたら「それは農業上でないけど険しい」ということは事実と異なる;
$facts$ = fact1: もしも「あの可能解は白っぽくておまけにそれは脱退だ」ということは成り立たないとするとその飛行機代は白っぽくない fact2: その飛行機代は千九百九十六Ａでないが白し fact3: もし仮になにがしかのものは険しかないとすれば「それは白っぽいしさらにそれは脱退である」ということは成り立つということはない fact4: その飛行機代が白っぽくないとすればその産品はけたたましくてかつ得られ難い fact5: もしもその飛行機代は千九百九十六Ａでないけれど白しならば「それはけたたましい」ということは正しい fact6: もしある物は通夜葬儀だとすると「農業上でないしそれは険しい」ということは真実でない fact7: もし仮に「あの可能解は得られ難いししかも白っぽい」ということは事実と異なるとしたらその飛行機代はけたたましくない ; $hypothesis$ = その飛行機代はけたたましくない ; $proof$ = 
fact5 & fact2 -> hypothesis; __DISPROVED__
事実1: もしも「あの可能解は白っぽくておまけにそれは脱退だ」ということは成り立たないとするとその飛行機代は白っぽくない
事実2: その飛行機代は千九百九十六Ａでないが白し
事実3: もし仮になにがしかのものは険しかないとすれば「それは白っぽいしさらにそれは脱退である」ということは成り立つということはない
事実4: その飛行機代が白っぽくないとすればその産品はけたたましくてかつ得られ難い
事実5: もしもその飛行機代は千九百九十六Ａでないけれど白しならば「それはけたたましい」ということは正しい
事実6: もしある物は通夜葬儀だとすると「農業上でないしそれは険しい」ということは真実でない
事実7: もし仮に「あの可能解は得られ難いししかも白っぽい」ということは事実と異なるとしたらその飛行機代はけたたましくない

仮説: その飛行機代はけたたましくない
1. 事実5と事実2から、仮説が否定される

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