「この装甲車はもやうかあるいは取り引き出来ない」ということは事実と異なる
fact1: この装甲車はいみじということはない fact2: もしも「そのイベントハンドラはインストール出来ないししかも気味悪さでない」ということは嘘だとしたらこの装甲車はインストール出来るということはない fact3: 「あの青白磁は人種でなくてその上それは尽くし難くない」ということは確かでない fact4: とある物は尽くし難いとすれば「勤めないかまたは職権行使だ」ということは事実と異なる fact5: この装甲車は取り引き出来ない fact6: ある物はインストール出来るとしたら「もやうかまたは取り引き出来ない」ということは成り立たない fact7: あの発明家は取り引き出来るということはない fact8: この装甲車はもやうかもしくは取り引き出来るかまたはどちらもである fact9: もし仮に「ある物は勤めるということはないかまたは職権行使だ」ということは嘘ならば合意書でない fact10: この装甲車はインストール出来ないなら「それは取り引き出来るしかつもやう」ということは誤りである fact11: 仮に「あの青白磁は人種だということはなくてかつ尽くし難いということはない」ということは偽ならばあのイベントハンドラは尽くし難い
fact5 -> hypothesis;
あの氷雨は取り引き出来ない
$facts$ = fact1: この装甲車はいみじということはない fact2: もしも「そのイベントハンドラはインストール出来ないししかも気味悪さでない」ということは嘘だとしたらこの装甲車はインストール出来るということはない fact3: 「あの青白磁は人種でなくてその上それは尽くし難くない」ということは確かでない fact4: とある物は尽くし難いとすれば「勤めないかまたは職権行使だ」ということは事実と異なる fact5: この装甲車は取り引き出来ない fact6: ある物はインストール出来るとしたら「もやうかまたは取り引き出来ない」ということは成り立たない fact7: あの発明家は取り引き出来るということはない fact8: この装甲車はもやうかもしくは取り引き出来るかまたはどちらもである fact9: もし仮に「ある物は勤めるということはないかまたは職権行使だ」ということは嘘ならば合意書でない fact10: この装甲車はインストール出来ないなら「それは取り引き出来るしかつもやう」ということは誤りである fact11: 仮に「あの青白磁は人種だということはなくてかつ尽くし難いということはない」ということは偽ならばあのイベントハンドラは尽くし難い ; $hypothesis$ = 「この装甲車はもやうかあるいは取り引き出来ない」ということは事実と異なる ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: この装甲車はいみじということはない
事実2: もしも「そのイベントハンドラはインストール出来ないししかも気味悪さでない」ということは嘘だとしたらこの装甲車はインストール出来るということはない
事実3: 「あの青白磁は人種でなくてその上それは尽くし難くない」ということは確かでない
事実4: とある物は尽くし難いとすれば「勤めないかまたは職権行使だ」ということは事実と異なる
事実5: この装甲車は取り引き出来ない
事実6: ある物はインストール出来るとしたら「もやうかまたは取り引き出来ない」ということは成り立たない
事実7: あの発明家は取り引き出来るということはない
事実8: この装甲車はもやうかもしくは取り引き出来るかまたはどちらもである
事実9: もし仮に「ある物は勤めるということはないかまたは職権行使だ」ということは嘘ならば合意書でない
事実10: この装甲車はインストール出来ないなら「それは取り引き出来るしかつもやう」ということは誤りである
事実11: 仮に「あの青白磁は人種だということはなくてかつ尽くし難いということはない」ということは偽ならばあのイベントハンドラは尽くし難い

仮説: 「この装甲車はもやうかあるいは取り引き出来ない」ということは事実と異なる
1. 事実5から、仮説が否定される

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