あの自民党代議士は暑いということはない
fact1: 「あの自民党代議士は御止めに成る」ということは本当だ fact2: このＭＲＳＡ感染は暑い fact3: あの自民党代議士は一寸する fact4: その著書は暑い fact5: この院内感染対策は暑い fact6: あの精神遅滞者は暑い fact7: 「あの仲間は暑い」ということは成り立つ fact8: あの自民党代議士はテロ活動だ fact9: 「あの不安刺激は暑い」ということは真実である fact10: あの自民党代議士は暑い fact11: あの自民党代議士は寒々しい fact12: あの自民党代議士は共産圏である fact13: あの自民党代議士は走り去る fact14: あの自民党代議士は恵み深い fact15: あの同州は暑い fact16: その片眉は暑い fact17: あの自民党代議士はスピーチする fact18: あの人権・人道は暑い fact19: あの自民党代議士は監部である fact20: あの巡査は暑い
fact10 -> hypothesis;
fact10 -> hypothesis;
$facts$ = fact1: 「あの自民党代議士は御止めに成る」ということは本当だ fact2: このＭＲＳＡ感染は暑い fact3: あの自民党代議士は一寸する fact4: その著書は暑い fact5: この院内感染対策は暑い fact6: あの精神遅滞者は暑い fact7: 「あの仲間は暑い」ということは成り立つ fact8: あの自民党代議士はテロ活動だ fact9: 「あの不安刺激は暑い」ということは真実である fact10: あの自民党代議士は暑い fact11: あの自民党代議士は寒々しい fact12: あの自民党代議士は共産圏である fact13: あの自民党代議士は走り去る fact14: あの自民党代議士は恵み深い fact15: あの同州は暑い fact16: その片眉は暑い fact17: あの自民党代議士はスピーチする fact18: あの人権・人道は暑い fact19: あの自民党代議士は監部である fact20: あの巡査は暑い ; $hypothesis$ = あの自民党代議士は暑いということはない ; $proof$ = 
fact10 -> hypothesis; __DISPROVED__
事実1: 「あの自民党代議士は御止めに成る」ということは本当だ
事実2: このＭＲＳＡ感染は暑い
事実3: あの自民党代議士は一寸する
事実4: その著書は暑い
事実5: この院内感染対策は暑い
事実6: あの精神遅滞者は暑い
事実7: 「あの仲間は暑い」ということは成り立つ
事実8: あの自民党代議士はテロ活動だ
事実9: 「あの不安刺激は暑い」ということは真実である
事実10: あの自民党代議士は暑い
事実11: あの自民党代議士は寒々しい
事実12: あの自民党代議士は共産圏である
事実13: あの自民党代議士は走り去る
事実14: あの自民党代議士は恵み深い
事実15: あの同州は暑い
事実16: その片眉は暑い
事実17: あの自民党代議士はスピーチする
事実18: あの人権・人道は暑い
事実19: あの自民党代議士は監部である
事実20: あの巡査は暑い

仮説: あの自民党代議士は暑いということはない
1. 事実10から、仮説が否定される

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