「あの十六年度予算は修補しない」ということは本当だ
fact1: あの十六年度予算は前注である fact2: 仮に「なんらかのものは放尿するが押さえ難くない」ということは事実と異なるとしたら忍び難くない fact3: もしこの持参人が美術室なら良相である fact4: もし仮に「この国民経済計算年報は修補しないし前注であるということはない」ということは本当でないとしたらあの十六年度予算は修補しない fact5: もし何かは目敏いとすればそれは前注である fact6: この持参人は利き難い fact7: この持参人は美術室だ fact8: もしなにかは信仰しないとしたら「それは放尿するけど押さえ難くない」ということは真実だということはない fact9: この成員間は前注である fact10: もしもあの十六年度予算は前注であるならそれは修補する
fact10 & fact1 -> hypothesis;
あの十六年度予算は修補しない
fact11 -> int1: もし「その電気冷蔵庫は放尿するけど押さえ難くない」ということは誤りであるとすると忍び難くない; fact16 -> int2: もしもその電気冷蔵庫は信仰しないとすれば「放尿するしおまけに押さえ難くない」ということは間違っている; fact14 & fact12 -> int3: この持参人は良相である; int3 & fact15 -> int4: この持参人は良相であるしまたそれは利き難い; int4 -> int5: 「利き難い良相はある」ということは成り立つ;
$facts$ = fact1: あの十六年度予算は前注である fact2: 仮に「なんらかのものは放尿するが押さえ難くない」ということは事実と異なるとしたら忍び難くない fact3: もしこの持参人が美術室なら良相である fact4: もし仮に「この国民経済計算年報は修補しないし前注であるということはない」ということは本当でないとしたらあの十六年度予算は修補しない fact5: もし何かは目敏いとすればそれは前注である fact6: この持参人は利き難い fact7: この持参人は美術室だ fact8: もしなにかは信仰しないとしたら「それは放尿するけど押さえ難くない」ということは真実だということはない fact9: この成員間は前注である fact10: もしもあの十六年度予算は前注であるならそれは修補する ; $hypothesis$ = 「あの十六年度予算は修補しない」ということは本当だ ; $proof$ = 
fact10 & fact1 -> hypothesis; __DISPROVED__
事実1: あの十六年度予算は前注である
事実2: 仮に「なんらかのものは放尿するが押さえ難くない」ということは事実と異なるとしたら忍び難くない
事実3: もしこの持参人が美術室なら良相である
事実4: もし仮に「この国民経済計算年報は修補しないし前注であるということはない」ということは本当でないとしたらあの十六年度予算は修補しない
事実5: もし何かは目敏いとすればそれは前注である
事実6: この持参人は利き難い
事実7: この持参人は美術室だ
事実8: もしなにかは信仰しないとしたら「それは放尿するけど押さえ難くない」ということは真実だということはない
事実9: この成員間は前注である
事実10: もしもあの十六年度予算は前注であるならそれは修補する

仮説: 「あの十六年度予算は修補しない」ということは本当だ
1. 事実10と事実1から、仮説が否定される

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