あの大きさは蒸発分布でない
fact1: この業況が薄汚いとしたらあの大きさは反藩閥だ fact2: もし仮にあの大きさが薄汚いとしたら蒸発分布である fact3: 「この業況は説明し易い」ということは真実である fact4: あの大きさは反藩閥だ fact5: あの大きさは活用出来る fact6: もしこの業況が反藩閥ならあの大きさは蒸発分布だ fact7: もしもこの業況が反藩閥であるとしたらあの大きさは重たい fact8: 仮にこの業況は重たいとすれば「反藩閥だ」ということは本当だ fact9: この業況は薄汚い fact10: このカプットは重たい fact11: もしこの業況が薄汚いなら重たい fact12: その漁獲物は反藩閥だ fact13: あの回収期間は薄汚い
fact11 & fact9 -> int1: この業況は重たい; int1 & fact8 -> int2: この業況は反藩閥である; int2 & fact6 -> hypothesis;
$facts$ = fact1: この業況が薄汚いとしたらあの大きさは反藩閥だ fact2: もし仮にあの大きさが薄汚いとしたら蒸発分布である fact3: 「この業況は説明し易い」ということは真実である fact4: あの大きさは反藩閥だ fact5: あの大きさは活用出来る fact6: もしこの業況が反藩閥ならあの大きさは蒸発分布だ fact7: もしもこの業況が反藩閥であるとしたらあの大きさは重たい fact8: 仮にこの業況は重たいとすれば「反藩閥だ」ということは本当だ fact9: この業況は薄汚い fact10: このカプットは重たい fact11: もしこの業況が薄汚いなら重たい fact12: その漁獲物は反藩閥だ fact13: あの回収期間は薄汚い ; $hypothesis$ = あの大きさは蒸発分布でない ; $proof$ = 
fact11 & fact9 -> int1: この業況は重たい; int1 & fact8 -> int2: この業況は反藩閥である; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: この業況が薄汚いとしたらあの大きさは反藩閥だ
事実2: もし仮にあの大きさが薄汚いとしたら蒸発分布である
事実3: 「この業況は説明し易い」ということは真実である
事実4: あの大きさは反藩閥だ
事実5: あの大きさは活用出来る
事実6: もしこの業況が反藩閥ならあの大きさは蒸発分布だ
事実7: もしもこの業況が反藩閥であるとしたらあの大きさは重たい
事実8: 仮にこの業況は重たいとすれば「反藩閥だ」ということは本当だ
事実9: この業況は薄汚い
事実10: このカプットは重たい
事実11: もしこの業況が薄汚いなら重たい
事実12: その漁獲物は反藩閥だ
事実13: あの回収期間は薄汚い

仮説: あの大きさは蒸発分布でない
1. 事実11と事実9から、推論1: "この業況は重たい"が導かれる
2. 推論1と事実8から、推論2: "この業況は反藩閥である"が導かれる
3. 推論2と事実6から、仮説が否定される

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