その第二小節は羽布でない
fact1: もしもあの確率変数θＩＪが誇りっぽくないならばその第二小節は羽布である fact2: あの確率変数θＩＪが羽布でないならばその第二小節は遅い fact3: あの確率変数θＩＪは誇りっぽくないかそれは遅くない fact4: あの確率変数θＩＪは御越しに成らないかあるいはそれはうら若くないかもしくはどちらもである fact5: 仮にあの確率変数θＩＪが遅くないとしたらその第二小節は羽布である
fact3 & fact1 & fact5 -> hypothesis;
fact3 & fact1 & fact5 -> hypothesis;
$facts$ = fact1: もしもあの確率変数θＩＪが誇りっぽくないならばその第二小節は羽布である fact2: あの確率変数θＩＪが羽布でないならばその第二小節は遅い fact3: あの確率変数θＩＪは誇りっぽくないかそれは遅くない fact4: あの確率変数θＩＪは御越しに成らないかあるいはそれはうら若くないかもしくはどちらもである fact5: 仮にあの確率変数θＩＪが遅くないとしたらその第二小節は羽布である ; $hypothesis$ = その第二小節は羽布でない ; $proof$ = 
fact3 & fact1 & fact5 -> hypothesis; __DISPROVED__
事実1: もしもあの確率変数θＩＪが誇りっぽくないならばその第二小節は羽布である
事実2: あの確率変数θＩＪが羽布でないならばその第二小節は遅い
事実3: あの確率変数θＩＪは誇りっぽくないかそれは遅くない
事実4: あの確率変数θＩＪは御越しに成らないかあるいはそれはうら若くないかもしくはどちらもである
事実5: 仮にあの確率変数θＩＪが遅くないとしたらその第二小節は羽布である

仮説: その第二小節は羽布でない
1. 事実3と事実1と事実5から、仮説が否定される

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