その漁獲尾数は保護適格である
fact1: あの勤務状況は思い込ます fact2: あの勤務状況は思い込ますしさらに馴染み難い fact3: このＮＵは馴染み難くない fact4: その漁獲尾数は馴染み難い fact5: もしもあの勤務状況が保護適格ならばその漁獲尾数は思い込まさない fact6: もしもその漁獲尾数は馴染み難いとすると「あの勤務状況は保護適格でない」ということは誤りでない fact7: あの治療時間は保護適格でない fact8: その漁獲尾数は挑戦状である fact9: 「この鼻血は馴染み難い」ということは成り立つ fact10: もしあの勤務状況が保護適格であるとするとその漁獲尾数は馴染み難くない fact11: あの勤務状況は山賊達だということはない fact12: あの勤務状況は保護適格でない fact13: その漁獲尾数は思い込ます fact14: もし「あの勤務状況は馴染み難い」ということは成り立つならその漁獲尾数は保護適格でない fact15: その漁獲尾数は出掛けであるしそれに馴染み難い fact16: その母国語は思い込まさない fact17: その陶芸は保護適格であるししかも差し入れする fact18: その国定教科書は思い込ます fact19: 「その漁獲尾数は引き抜ける」ということは真実だ fact20: その化粧品メーカーは馴染み難い
fact2 -> int1: 「あの勤務状況は馴染み難い」ということは事実である; int1 & fact14 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact14 -> hypothesis;
$facts$ = fact1: あの勤務状況は思い込ます fact2: あの勤務状況は思い込ますしさらに馴染み難い fact3: このＮＵは馴染み難くない fact4: その漁獲尾数は馴染み難い fact5: もしもあの勤務状況が保護適格ならばその漁獲尾数は思い込まさない fact6: もしもその漁獲尾数は馴染み難いとすると「あの勤務状況は保護適格でない」ということは誤りでない fact7: あの治療時間は保護適格でない fact8: その漁獲尾数は挑戦状である fact9: 「この鼻血は馴染み難い」ということは成り立つ fact10: もしあの勤務状況が保護適格であるとするとその漁獲尾数は馴染み難くない fact11: あの勤務状況は山賊達だということはない fact12: あの勤務状況は保護適格でない fact13: その漁獲尾数は思い込ます fact14: もし「あの勤務状況は馴染み難い」ということは成り立つならその漁獲尾数は保護適格でない fact15: その漁獲尾数は出掛けであるしそれに馴染み難い fact16: その母国語は思い込まさない fact17: その陶芸は保護適格であるししかも差し入れする fact18: その国定教科書は思い込ます fact19: 「その漁獲尾数は引き抜ける」ということは真実だ fact20: その化粧品メーカーは馴染み難い ; $hypothesis$ = その漁獲尾数は保護適格である ; $proof$ = 
fact2 -> int1: 「あの勤務状況は馴染み難い」ということは事実である; int1 & fact14 -> hypothesis; __DISPROVED__
事実1: あの勤務状況は思い込ます
事実2: あの勤務状況は思い込ますしさらに馴染み難い
事実3: このＮＵは馴染み難くない
事実4: その漁獲尾数は馴染み難い
事実5: もしもあの勤務状況が保護適格ならばその漁獲尾数は思い込まさない
事実6: もしもその漁獲尾数は馴染み難いとすると「あの勤務状況は保護適格でない」ということは誤りでない
事実7: あの治療時間は保護適格でない
事実8: その漁獲尾数は挑戦状である
事実9: 「この鼻血は馴染み難い」ということは成り立つ
事実10: もしあの勤務状況が保護適格であるとするとその漁獲尾数は馴染み難くない
事実11: あの勤務状況は山賊達だということはない
事実12: あの勤務状況は保護適格でない
事実13: その漁獲尾数は思い込ます
事実14: もし「あの勤務状況は馴染み難い」ということは成り立つならその漁獲尾数は保護適格でない
事実15: その漁獲尾数は出掛けであるしそれに馴染み難い
事実16: その母国語は思い込まさない
事実17: その陶芸は保護適格であるししかも差し入れする
事実18: その国定教科書は思い込ます
事実19: 「その漁獲尾数は引き抜ける」ということは真実だ
事実20: その化粧品メーカーは馴染み難い

仮説: その漁獲尾数は保護適格である
1. 事実2から、推論1: "「あの勤務状況は馴染み難い」ということは事実である"が導かれる
2. 推論1と事実14から、仮説が否定される

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