あの環境会計システムは掻き取らない
fact1: もしあの環境会計システムが掻き取るとすると熱し易い fact2: あの環境会計システムは掻き分けるしそれに甚だし fact3: 仮にこの鼻風邪が掻き分けないとしたらあの環境会計システムは掻き取らない fact4: もしもこの二量体が掻き分けないが言い辛いならばあの鼻風邪は掻き分けない fact5: もし仮に「あの環境会計システムは印刷し為さるしまたそれは甚だし」ということは成り立つということはないならそのエスティメートは甚だしない fact6: もしなんらかの物が甚だしとしたらそれは掻き取る fact7: もし仮に「この鼻風邪は言い辛い」ということは成り立つなら掻き分ける fact8: ある物が甚だしとしたら掻き分ける fact9: あの環境会計システムは掻き分ける fact10: もしなんらかの物は言い辛くないとしたら「それは印刷し為さるしさらに甚だし」ということは偽である
fact2 -> int1: あの環境会計システムは甚だし; fact6 -> int2: もし仮にあの環境会計システムが甚だしとしたら掻き取る; int1 & int2 -> hypothesis;
fact2 -> int1: {B}{a}; fact6 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> hypothesis;
あの環境会計システムは掻き取らない
$facts$ = fact1: もしあの環境会計システムが掻き取るとすると熱し易い fact2: あの環境会計システムは掻き分けるしそれに甚だし fact3: 仮にこの鼻風邪が掻き分けないとしたらあの環境会計システムは掻き取らない fact4: もしもこの二量体が掻き分けないが言い辛いならばあの鼻風邪は掻き分けない fact5: もし仮に「あの環境会計システムは印刷し為さるしまたそれは甚だし」ということは成り立つということはないならそのエスティメートは甚だしない fact6: もしなんらかの物が甚だしとしたらそれは掻き取る fact7: もし仮に「この鼻風邪は言い辛い」ということは成り立つなら掻き分ける fact8: ある物が甚だしとしたら掻き分ける fact9: あの環境会計システムは掻き分ける fact10: もしなんらかの物は言い辛くないとしたら「それは印刷し為さるしさらに甚だし」ということは偽である ; $hypothesis$ = あの環境会計システムは掻き取らない ; $proof$ = 
fact2 -> int1: あの環境会計システムは甚だし; fact6 -> int2: もし仮にあの環境会計システムが甚だしとしたら掻き取る; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしあの環境会計システムが掻き取るとすると熱し易い
事実2: あの環境会計システムは掻き分けるしそれに甚だし
事実3: 仮にこの鼻風邪が掻き分けないとしたらあの環境会計システムは掻き取らない
事実4: もしもこの二量体が掻き分けないが言い辛いならばあの鼻風邪は掻き分けない
事実5: もし仮に「あの環境会計システムは印刷し為さるしまたそれは甚だし」ということは成り立つということはないならそのエスティメートは甚だしない
事実6: もしなんらかの物が甚だしとしたらそれは掻き取る
事実7: もし仮に「この鼻風邪は言い辛い」ということは成り立つなら掻き分ける
事実8: ある物が甚だしとしたら掻き分ける
事実9: あの環境会計システムは掻き分ける
事実10: もしなんらかの物は言い辛くないとしたら「それは印刷し為さるしさらに甚だし」ということは偽である

仮説: あの環境会計システムは掻き取らない
1. 事実2から、推論1: "あの環境会計システムは甚だし"が導かれる
2. 事実6から、推論2: "もし仮にあの環境会計システムが甚だしとしたら掻き取る"が導かれる
3. 推論1と推論2から、仮説が否定される

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