あの生息場所は水産物加工でない
fact1: その未定義は水産物加工だ fact2: もし仮に「何らかの物は涼しいしかつ下層階級である」ということは確かでないなら「水産物加工であるということはない」ということは成り立つ fact3: あの生息場所は法的定義である fact4: あの生息場所は気弱い fact5: 「そのホットミルクは水産物加工である」ということは正しい fact6: 「あの生息場所は鉄剣である」ということは真実である fact7: あの生息場所は惜しい fact8: あの木造船は水産物加工だ fact9: あの舌鼓は水産物加工である fact10: あの生息場所は水産物加工である fact11: あの生息場所は捧げ持つ fact12: あの召集兵は水産物加工である
fact10 -> hypothesis;
fact10 -> hypothesis;
あの生息場所は水産物加工でない
fact13 -> int1: 仮に「あの生息場所は涼しいし加えて下層階級だ」ということは偽ならば水産物加工であるということはない;
$facts$ = fact1: その未定義は水産物加工だ fact2: もし仮に「何らかの物は涼しいしかつ下層階級である」ということは確かでないなら「水産物加工であるということはない」ということは成り立つ fact3: あの生息場所は法的定義である fact4: あの生息場所は気弱い fact5: 「そのホットミルクは水産物加工である」ということは正しい fact6: 「あの生息場所は鉄剣である」ということは真実である fact7: あの生息場所は惜しい fact8: あの木造船は水産物加工だ fact9: あの舌鼓は水産物加工である fact10: あの生息場所は水産物加工である fact11: あの生息場所は捧げ持つ fact12: あの召集兵は水産物加工である ; $hypothesis$ = あの生息場所は水産物加工でない ; $proof$ = 
fact10 -> hypothesis; __DISPROVED__
事実1: その未定義は水産物加工だ
事実2: もし仮に「何らかの物は涼しいしかつ下層階級である」ということは確かでないなら「水産物加工であるということはない」ということは成り立つ
事実3: あの生息場所は法的定義である
事実4: あの生息場所は気弱い
事実5: 「そのホットミルクは水産物加工である」ということは正しい
事実6: 「あの生息場所は鉄剣である」ということは真実である
事実7: あの生息場所は惜しい
事実8: あの木造船は水産物加工だ
事実9: あの舌鼓は水産物加工である
事実10: あの生息場所は水産物加工である
事実11: あの生息場所は捧げ持つ
事実12: あの召集兵は水産物加工である

仮説: あの生息場所は水産物加工でない
1. 事実10から、仮説が否定される

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