あの日野ＫＣ‐ＲＸは録しない
fact1: この百回転は録する fact2: あの日野ＫＣ‐ＲＸは揺曳する fact3: 「あの日野ＫＣ‐ＲＸは年換算利回りだ」ということは真実である fact4: あの日野ＫＣ‐ＲＸは愚かしい fact5: あの無反動性は録する fact6: その原子内は録する fact7: その予備知識は録する fact8: あの日野ＫＣ‐ＲＸは御祝い事だ fact9: あの日野ＫＣ‐ＲＸは録する fact10: あの渇水調整は録する fact11: あの日野ＫＣ‐ＲＸは詮無い fact12: 「あの日野ＫＣ‐ＲＸは出走する」ということは成り立つ fact13: あの豊受大神宮は録する fact14: あの日野ＫＣ‐ＲＸは等し fact15: このソート対象は録する fact16: その細胞内局在は録する fact17: あの日野ＫＣ‐ＲＸは日持ちだ
fact9 -> hypothesis;
fact9 -> hypothesis;
$facts$ = fact1: この百回転は録する fact2: あの日野ＫＣ‐ＲＸは揺曳する fact3: 「あの日野ＫＣ‐ＲＸは年換算利回りだ」ということは真実である fact4: あの日野ＫＣ‐ＲＸは愚かしい fact5: あの無反動性は録する fact6: その原子内は録する fact7: その予備知識は録する fact8: あの日野ＫＣ‐ＲＸは御祝い事だ fact9: あの日野ＫＣ‐ＲＸは録する fact10: あの渇水調整は録する fact11: あの日野ＫＣ‐ＲＸは詮無い fact12: 「あの日野ＫＣ‐ＲＸは出走する」ということは成り立つ fact13: あの豊受大神宮は録する fact14: あの日野ＫＣ‐ＲＸは等し fact15: このソート対象は録する fact16: その細胞内局在は録する fact17: あの日野ＫＣ‐ＲＸは日持ちだ ; $hypothesis$ = あの日野ＫＣ‐ＲＸは録しない ; $proof$ = 
fact9 -> hypothesis; __DISPROVED__
事実1: この百回転は録する
事実2: あの日野ＫＣ‐ＲＸは揺曳する
事実3: 「あの日野ＫＣ‐ＲＸは年換算利回りだ」ということは真実である
事実4: あの日野ＫＣ‐ＲＸは愚かしい
事実5: あの無反動性は録する
事実6: その原子内は録する
事実7: その予備知識は録する
事実8: あの日野ＫＣ‐ＲＸは御祝い事だ
事実9: あの日野ＫＣ‐ＲＸは録する
事実10: あの渇水調整は録する
事実11: あの日野ＫＣ‐ＲＸは詮無い
事実12: 「あの日野ＫＣ‐ＲＸは出走する」ということは成り立つ
事実13: あの豊受大神宮は録する
事実14: あの日野ＫＣ‐ＲＸは等し
事実15: このソート対象は録する
事実16: その細胞内局在は録する
事実17: あの日野ＫＣ‐ＲＸは日持ちだ

仮説: あの日野ＫＣ‐ＲＸは録しない
1. 事実9から、仮説が否定される

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