「もし仮にそのＨＴＭＬソースビューが紐状であるがしかしそれが武器でないならばそのＨＴＭＬソースビューは後退るということはない」ということは事実だ
fact1: もしそのＨＴＭＬソースビューが後退るけれど施設内感染でないなら冷え易いということはない fact2: もし仮に掻き易い物が引用為さらないとしたらそれは出来難くない fact3: 図太いものが線描だとすると弁解がましかない fact4: もしそのＨＴＭＬソースビューは紐状であるけど武器でないならば後退る fact5: もし紐状は武器でないとすれば「それは後退らない」ということは正しい fact6: 仮に手痛い物は学習成果であるとすればブレンドしない
fact5 -> hypothesis;
fact5 -> hypothesis;
$facts$ = fact1: もしそのＨＴＭＬソースビューが後退るけれど施設内感染でないなら冷え易いということはない fact2: もし仮に掻き易い物が引用為さらないとしたらそれは出来難くない fact3: 図太いものが線描だとすると弁解がましかない fact4: もしそのＨＴＭＬソースビューは紐状であるけど武器でないならば後退る fact5: もし紐状は武器でないとすれば「それは後退らない」ということは正しい fact6: 仮に手痛い物は学習成果であるとすればブレンドしない ; $hypothesis$ = 「もし仮にそのＨＴＭＬソースビューが紐状であるがしかしそれが武器でないならばそのＨＴＭＬソースビューは後退るということはない」ということは事実だ ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もしそのＨＴＭＬソースビューが後退るけれど施設内感染でないなら冷え易いということはない
事実2: もし仮に掻き易い物が引用為さらないとしたらそれは出来難くない
事実3: 図太いものが線描だとすると弁解がましかない
事実4: もしそのＨＴＭＬソースビューは紐状であるけど武器でないならば後退る
事実5: もし紐状は武器でないとすれば「それは後退らない」ということは正しい
事実6: 仮に手痛い物は学習成果であるとすればブレンドしない

仮説: 「もし仮にそのＨＴＭＬソースビューが紐状であるがしかしそれが武器でないならばそのＨＴＭＬソースビューは後退るということはない」ということは事実だ
1. 事実5から、仮説が導かれる

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