あのＮＨＳは辛抱強くない
fact1: この命中率は辛抱強い fact2: 「あのアメリカ在住は辛抱強い」ということは確かだ fact3: あのＮＨＳは陥入する fact4: あの侍従長は辛抱強い fact5: その額間は辛抱強い fact6: あのＮＨＳは長し fact7: あの長屋は辛抱強い fact8: あのＮＨＳは辛抱強い fact9: もしもなにかは金属類だとすればそれは辛抱強い fact10: あのＮＨＳは凛々しい fact11: 仮になにがしかのものはエリアであるかもしくは項垂れないなら「それは賃借しない」ということは確かだ fact12: あのＮＨＳは遠し fact13: もしもなにがしかのものが賃借しないならば辛抱強くないけれど金属類である
fact8 -> hypothesis;
fact8 -> hypothesis;
「あのＮＨＳは辛抱強くない」ということは誤っていない
fact14 -> int1: あのＮＨＳが賃借しないとすれば辛抱強くなくておまけに金属類だ; fact15 -> int2: もしも「あのＮＨＳはエリアであるかもしくは項垂れるということはない」ということは成り立つなら賃借しない;
$facts$ = fact1: この命中率は辛抱強い fact2: 「あのアメリカ在住は辛抱強い」ということは確かだ fact3: あのＮＨＳは陥入する fact4: あの侍従長は辛抱強い fact5: その額間は辛抱強い fact6: あのＮＨＳは長し fact7: あの長屋は辛抱強い fact8: あのＮＨＳは辛抱強い fact9: もしもなにかは金属類だとすればそれは辛抱強い fact10: あのＮＨＳは凛々しい fact11: 仮になにがしかのものはエリアであるかもしくは項垂れないなら「それは賃借しない」ということは確かだ fact12: あのＮＨＳは遠し fact13: もしもなにがしかのものが賃借しないならば辛抱強くないけれど金属類である ; $hypothesis$ = あのＮＨＳは辛抱強くない ; $proof$ = 
fact8 -> hypothesis; __DISPROVED__
事実1: この命中率は辛抱強い
事実2: 「あのアメリカ在住は辛抱強い」ということは確かだ
事実3: あのＮＨＳは陥入する
事実4: あの侍従長は辛抱強い
事実5: その額間は辛抱強い
事実6: あのＮＨＳは長し
事実7: あの長屋は辛抱強い
事実8: あのＮＨＳは辛抱強い
事実9: もしもなにかは金属類だとすればそれは辛抱強い
事実10: あのＮＨＳは凛々しい
事実11: 仮になにがしかのものはエリアであるかもしくは項垂れないなら「それは賃借しない」ということは確かだ
事実12: あのＮＨＳは遠し
事実13: もしもなにがしかのものが賃借しないならば辛抱強くないけれど金属類である

仮説: あのＮＨＳは辛抱強くない
1. 事実8から、仮説が否定される

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