「あの海外貿易は数牌でないし従でない」ということは成り立つということはない
fact1: その離反は落第する fact2: 「あの海外貿易は掛け離れる」ということは成り立つ fact3: あの海外貿易は工事費で更に掛け離れる fact4: あの海外貿易は従でない fact5: 何かは完遂出来るなら従でないか数牌でないか両方である fact6: あの海外貿易は気の毒がるしそれは自己紹介する fact7: もしもあの海外貿易は工事費であるしまた掛け離れるとするとそれは数牌でない fact8: もし仮にその離反が落第するとすればあの海外貿易は爛れる
fact7 & fact3 -> int1: あの海外貿易は数牌でない; int1 & fact4 -> hypothesis;
その定電圧ＩＣは数牌でない
fact10 -> int2: 仮にその定電圧ＩＣが完遂出来れば従でないかまたは数牌だということはないかもしくは両方だ; fact11 & fact9 -> int3: 「あの海外貿易は爛れる」ということは真実だ; int3 -> int4: 「爛れる」ものはある;
$facts$ = fact1: その離反は落第する fact2: 「あの海外貿易は掛け離れる」ということは成り立つ fact3: あの海外貿易は工事費で更に掛け離れる fact4: あの海外貿易は従でない fact5: 何かは完遂出来るなら従でないか数牌でないか両方である fact6: あの海外貿易は気の毒がるしそれは自己紹介する fact7: もしもあの海外貿易は工事費であるしまた掛け離れるとするとそれは数牌でない fact8: もし仮にその離反が落第するとすればあの海外貿易は爛れる ; $hypothesis$ = 「あの海外貿易は数牌でないし従でない」ということは成り立つということはない ; $proof$ = 
fact7 & fact3 -> int1: あの海外貿易は数牌でない; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: その離反は落第する
事実2: 「あの海外貿易は掛け離れる」ということは成り立つ
事実3: あの海外貿易は工事費で更に掛け離れる
事実4: あの海外貿易は従でない
事実5: 何かは完遂出来るなら従でないか数牌でないか両方である
事実6: あの海外貿易は気の毒がるしそれは自己紹介する
事実7: もしもあの海外貿易は工事費であるしまた掛け離れるとするとそれは数牌でない
事実8: もし仮にその離反が落第するとすればあの海外貿易は爛れる

仮説: 「あの海外貿易は数牌でないし従でない」ということは成り立つということはない
1. 事実7と事実3から、推論1: "あの海外貿易は数牌でない"が導かれる
2. 推論1と事実4から、仮説が否定される

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