そのティン王は上下動でない
fact1: そのティン王はＴ字路である fact2: そのティン王は御召す fact3: もしもなにかは策しないならば商事であるしかつそれは上下動だ fact4: この縫い目は策する fact5: そのティン王はバーサライタだしまたトレーナーだ fact6: この最終意思は上下動である fact7: そのティン王は策する fact8: そのティン王は攣るし策する fact9: この開会は策する fact10: そのティン王は覚ゆしさらにそれは全派閥だ fact11: そのティン王は若くて加えてそれは全派閥である fact12: あの訳は従えるしさらにそれは策する fact13: あの抗ＣＤは上下動である fact14: そのティン王は絶える fact15: その稲置は自暴自棄でそれにアンティーク仕上げである fact16: そのティン王は上下動であるし策する
fact16 -> hypothesis;
fact16 -> hypothesis;
その異学年は商事であるしおまけに辛い
fact17 -> int1: もしその異学年が策しないとすればそれは商事だしさらに上下動だ;
$facts$ = fact1: そのティン王はＴ字路である fact2: そのティン王は御召す fact3: もしもなにかは策しないならば商事であるしかつそれは上下動だ fact4: この縫い目は策する fact5: そのティン王はバーサライタだしまたトレーナーだ fact6: この最終意思は上下動である fact7: そのティン王は策する fact8: そのティン王は攣るし策する fact9: この開会は策する fact10: そのティン王は覚ゆしさらにそれは全派閥だ fact11: そのティン王は若くて加えてそれは全派閥である fact12: あの訳は従えるしさらにそれは策する fact13: あの抗ＣＤは上下動である fact14: そのティン王は絶える fact15: その稲置は自暴自棄でそれにアンティーク仕上げである fact16: そのティン王は上下動であるし策する ; $hypothesis$ = そのティン王は上下動でない ; $proof$ = 
fact16 -> hypothesis; __DISPROVED__
事実1: そのティン王はＴ字路である
事実2: そのティン王は御召す
事実3: もしもなにかは策しないならば商事であるしかつそれは上下動だ
事実4: この縫い目は策する
事実5: そのティン王はバーサライタだしまたトレーナーだ
事実6: この最終意思は上下動である
事実7: そのティン王は策する
事実8: そのティン王は攣るし策する
事実9: この開会は策する
事実10: そのティン王は覚ゆしさらにそれは全派閥だ
事実11: そのティン王は若くて加えてそれは全派閥である
事実12: あの訳は従えるしさらにそれは策する
事実13: あの抗ＣＤは上下動である
事実14: そのティン王は絶える
事実15: その稲置は自暴自棄でそれにアンティーク仕上げである
事実16: そのティン王は上下動であるし策する

仮説: そのティン王は上下動でない
1. 事実16から、仮説が否定される

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