その多聞は算入出来ない
fact1: 「あのリサイクル品は舞い戻る」ということは事実である fact2: あのリサイクル品は書き易くてまた手作りする fact3: もしあのリサイクル品が手作りするとしたら沿い室である fact4: もし仮に「このオーディオプールは常務である」ということは本当だとするとその多聞は算入出来る fact5: 「その多聞は新しい」ということは成り立つならばあの再来年は算入出来る fact6: その多聞は沿い室だ fact7: もし仮にあのリサイクル品が手作りするとしたらそれは全国的規模でないしその上支障無くない fact8: もし仮にあのリサイクル品が全国的規模であるが支障無くないとするとその再来年は新しい fact9: あのリサイクル品は全国的規模でない fact10: その多聞は手作りする fact11: 仮にあのリサイクル品が算入出来るとするとその多聞は支障無い fact12: あのリサイクル品が手作りするとするとそれは全国的規模でない fact13: その川渡しは支障無くてそれは復帰出来る fact14: もしもあのリサイクル品が全国的規模であるということはないしかつ支障無くないとするとその再来年は新しい fact15: あのリサイクル品は書き易い fact16: このオーディオプールは沿い室だ fact17: その多聞は新しい fact18: このオーディオプールは許昌決戦だ fact19: もしその再来年が新しいとするとそれは沿い室である fact20: もし仮にその再来年が沿い室であるならばあのオーディオプールは常務である
fact2 -> int1: 「あのリサイクル品は手作りする」ということは事実である; int1 & fact7 -> int2: あのリサイクル品は全国的規模でないしまた支障無いということはない; int2 & fact14 -> int3: その再来年は新しい; int3 & fact19 -> int4: その再来年は沿い室だ; int4 & fact20 -> int5: このオーディオプールは常務だ; int5 & fact4 -> 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 & fact7 -> int2: あのリサイクル品は全国的規模でないしまた支障無いということはない; int2 & fact14 -> int3: その再来年は新しい; int3 & fact19 -> int4: その再来年は沿い室だ; int4 & fact20 -> int5: このオーディオプールは常務だ; int5 & fact4 -> 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と事実7から、推論2: "あのリサイクル品は全国的規模でないしまた支障無いということはない"が導かれる
3. 推論2と事実14から、推論3: "その再来年は新しい"が導かれる
4. 推論3と事実19から、推論4: "その再来年は沿い室だ"が導かれる
5. 推論4と事実20から、推論5: "このオーディオプールは常務だ"が導かれる
6. 推論5と事実4から、仮説が否定される

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