「仮に侵入し易いとしたら精製過程でなくてけたたましい」物はある
fact1: もしなにかは見過ごし難いとすれば遠眼鏡でないしその上それは少なし fact2: 「「輝き続ける」ということは正しいとしたら「温くない」ということは真実である」ものはある fact3: 「もし仮に従えるとしたら少なししその上塗布する」物はある fact4: 「「もし仮に「スライディングする」ということは成り立てば崩し易いしそれにセイな」ものはある」ということは成り立つ fact5: 「仮に吸収され難いなら御戻らない」ものはある fact6: もし「あの連絡係は侵入し易くない」ということは本当でないとしたらそれは精製過程でなくてかつそれはけたたましい
fact6 -> hypothesis;
「もし見過ごし難いならば遠眼鏡でなくてその上少なし」物はある
fact7 -> int1: もしこの出力ＹＮが見過ごし難いとするとそれは遠眼鏡でないがしかし少なし; int1 -> hypothesis;
$facts$ = fact1: もしなにかは見過ごし難いとすれば遠眼鏡でないしその上それは少なし fact2: 「「輝き続ける」ということは正しいとしたら「温くない」ということは真実である」ものはある fact3: 「もし仮に従えるとしたら少なししその上塗布する」物はある fact4: 「「もし仮に「スライディングする」ということは成り立てば崩し易いしそれにセイな」ものはある」ということは成り立つ fact5: 「仮に吸収され難いなら御戻らない」ものはある fact6: もし「あの連絡係は侵入し易くない」ということは本当でないとしたらそれは精製過程でなくてかつそれはけたたましい ; $hypothesis$ = 「仮に侵入し易いとしたら精製過程でなくてけたたましい」物はある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もしなにかは見過ごし難いとすれば遠眼鏡でないしその上それは少なし
事実2: 「「輝き続ける」ということは正しいとしたら「温くない」ということは真実である」ものはある
事実3: 「もし仮に従えるとしたら少なししその上塗布する」物はある
事実4: 「「もし仮に「スライディングする」ということは成り立てば崩し易いしそれにセイな」ものはある」ということは成り立つ
事実5: 「仮に吸収され難いなら御戻らない」ものはある
事実6: もし「あの連絡係は侵入し易くない」ということは本当でないとしたらそれは精製過程でなくてかつそれはけたたましい

仮説: 「仮に侵入し易いとしたら精製過程でなくてけたたましい」物はある
1. 事実6から、仮説が導かれる

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