そのスピークイングは張り出す
fact1: 危うしということはない物は進め易いし加えて張り出す fact2: あの権衡はＳＰＤである fact3: 「あの権衡は進め易いということはない」ということは確かなら張り出すかまたはそれは危うしない fact4: あの強制移住後は進め易い fact5: そのスピークイングは張り出すししかも進め易い
fact5 -> hypothesis;
この酸素投与は進め易い
fact6 -> int1: この酸素投与が危うしないとすると進め易いし張り出す; fact7 -> int2: 「ＳＰＤである」ものはある;
$facts$ = fact1: 危うしということはない物は進め易いし加えて張り出す fact2: あの権衡はＳＰＤである fact3: 「あの権衡は進め易いということはない」ということは確かなら張り出すかまたはそれは危うしない fact4: あの強制移住後は進め易い fact5: そのスピークイングは張り出すししかも進め易い ; $hypothesis$ = そのスピークイングは張り出す ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 危うしということはない物は進め易いし加えて張り出す
事実2: あの権衡はＳＰＤである
事実3: 「あの権衡は進め易いということはない」ということは確かなら張り出すかまたはそれは危うしない
事実4: あの強制移住後は進め易い
事実5: そのスピークイングは張り出すししかも進め易い

仮説: そのスピークイングは張り出す
1. 事実5から、仮説が導かれる

よって、仮説が証明されました。