「あの当該居住用不動産は木目細かいということはないし消化器系でない」ということは成り立たない
fact1: すべてのものは消化器系でない fact2: もしとある物はモデル化しないとすると「ごっついけど長くない」ということは事実でない fact3: どれもこれもは木目細かくないしそれは消化器系でない fact4: あの当該居住用不動産は消化器系でない fact5: あの二年度が木目細かいとすればその地方工場は出でなくて消化器系でない fact6: ごっついものは木目細かい
fact3 -> hypothesis;
fact3 -> hypothesis;
その地方工場は出でないし加えて消化器系であるということはない
fact8 -> int1: もしあの二年度がごっついならば木目細かい; fact7 -> int2: もし仮にこの農工商はモデル化しないならば「ごっついしそれに長くない」ということは偽である;
$facts$ = fact1: すべてのものは消化器系でない fact2: もしとある物はモデル化しないとすると「ごっついけど長くない」ということは事実でない fact3: どれもこれもは木目細かくないしそれは消化器系でない fact4: あの当該居住用不動産は消化器系でない fact5: あの二年度が木目細かいとすればその地方工場は出でなくて消化器系でない fact6: ごっついものは木目細かい ; $hypothesis$ = 「あの当該居住用不動産は木目細かいということはないし消化器系でない」ということは成り立たない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: すべてのものは消化器系でない
事実2: もしとある物はモデル化しないとすると「ごっついけど長くない」ということは事実でない
事実3: どれもこれもは木目細かくないしそれは消化器系でない
事実4: あの当該居住用不動産は消化器系でない
事実5: あの二年度が木目細かいとすればその地方工場は出でなくて消化器系でない
事実6: ごっついものは木目細かい

仮説: 「あの当該居住用不動産は木目細かいということはないし消化器系でない」ということは成り立たない
1. 事実3から、仮説が否定される

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