その地下水道は驚嘆でない
fact1: あの副頭取は驚嘆である fact2: その地下水道は錆無い fact3: その地下水道は扱い易い fact4: その地下水道は文聖王だ fact5: その地下水道は驚嘆だ fact6: その地下水道は痛飲する fact7: 「あのプレドニゾロンは驚嘆である」ということは成り立つ fact8: その地下水道は束ねる fact9: その高床は驚嘆である fact10: もしも幼けないということはない物は不正確でないならば驚嘆でない fact11: 「その稼働音は驚嘆である」ということは本当だ fact12: 「その地下水道は複製出来る」ということは正しい fact13: そのマンション全体は驚嘆だ fact14: あのガードレールは驚嘆だ fact15: 「その地下水道は株式累積投資だ」ということは真実である fact16: その寄せ手は驚嘆である
fact5 -> hypothesis;
fact5 -> hypothesis;
その地下水道は驚嘆でない
fact17 -> int1: もしその地下水道が幼けなくなくて更に不正確でないとしたら驚嘆でない;
$facts$ = fact1: あの副頭取は驚嘆である fact2: その地下水道は錆無い fact3: その地下水道は扱い易い fact4: その地下水道は文聖王だ fact5: その地下水道は驚嘆だ fact6: その地下水道は痛飲する fact7: 「あのプレドニゾロンは驚嘆である」ということは成り立つ fact8: その地下水道は束ねる fact9: その高床は驚嘆である fact10: もしも幼けないということはない物は不正確でないならば驚嘆でない fact11: 「その稼働音は驚嘆である」ということは本当だ fact12: 「その地下水道は複製出来る」ということは正しい fact13: そのマンション全体は驚嘆だ fact14: あのガードレールは驚嘆だ fact15: 「その地下水道は株式累積投資だ」ということは真実である fact16: その寄せ手は驚嘆である ; $hypothesis$ = その地下水道は驚嘆でない ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: あの副頭取は驚嘆である
事実2: その地下水道は錆無い
事実3: その地下水道は扱い易い
事実4: その地下水道は文聖王だ
事実5: その地下水道は驚嘆だ
事実6: その地下水道は痛飲する
事実7: 「あのプレドニゾロンは驚嘆である」ということは成り立つ
事実8: その地下水道は束ねる
事実9: その高床は驚嘆である
事実10: もしも幼けないということはない物は不正確でないならば驚嘆でない
事実11: 「その稼働音は驚嘆である」ということは本当だ
事実12: 「その地下水道は複製出来る」ということは正しい
事実13: そのマンション全体は驚嘆だ
事実14: あのガードレールは驚嘆だ
事実15: 「その地下水道は株式累積投資だ」ということは真実である
事実16: その寄せ手は驚嘆である

仮説: その地下水道は驚嘆でない
1. 事実5から、仮説が否定される

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