「もしも潔しとすれば打ち明けない」物はある
fact1: 「破れ難いとすれば「後ろ暗くない」ということは成り立つ」物はある fact2: 「仮に理解するとすると望ましくらない」物はある fact3: もしもこの米国特許権が潔しならば打ち明けるということはない fact4: 「もし仮にインターネット経由であるならば「保証しない」ということは正しい」ものはある fact5: 「もし「オーバーロードする」ということは間違っているということはないとすると剥けない」物はある fact6: 仮にこの米国特許権が弱々しいとすると汚れ難くない fact7: もし「この米国特許権は作業し易い」ということは事実だとすれば打ち明けるということはない fact8: 「禍々しいとすれば鎮圧する」ものはある fact9: もし仮にこの米国特許権が潔しならば打ち明ける fact10: もし仮にとある物が書き終われば並べない fact11: 仮になにがしかのものが間接化するとするとそれは破れ難くない fact12: 仮にこの米国特許権が打ち明けるとしたら説き示すということはない fact13: 「もしオーバーロードすれば取り急がない」物はある fact14: 「もし「汚れ難い」ということは事実であるなら耄碌しない」ものはある fact15: 「もし含み笑いだとすればかかずらわない」物はある fact16: もしもこの米国特許権が帰還兵達なら仕舞い易い fact17: もしもこの米国特許権は問診であるとすればそれは潔し fact18: 「潔しとすれば打ち明ける」ものはある
fact3 -> hypothesis;
fact3 -> hypothesis;
「間接化するとしたら破れ難くない」物はある
fact19 -> int1: もし仮にあの臨検が間接化するとするとそれは破れ難いということはない; int1 -> hypothesis;
$facts$ = fact1: 「破れ難いとすれば「後ろ暗くない」ということは成り立つ」物はある fact2: 「仮に理解するとすると望ましくらない」物はある fact3: もしもこの米国特許権が潔しならば打ち明けるということはない fact4: 「もし仮にインターネット経由であるならば「保証しない」ということは正しい」ものはある fact5: 「もし「オーバーロードする」ということは間違っているということはないとすると剥けない」物はある fact6: 仮にこの米国特許権が弱々しいとすると汚れ難くない fact7: もし「この米国特許権は作業し易い」ということは事実だとすれば打ち明けるということはない fact8: 「禍々しいとすれば鎮圧する」ものはある fact9: もし仮にこの米国特許権が潔しならば打ち明ける fact10: もし仮にとある物が書き終われば並べない fact11: 仮になにがしかのものが間接化するとするとそれは破れ難くない fact12: 仮にこの米国特許権が打ち明けるとしたら説き示すということはない fact13: 「もしオーバーロードすれば取り急がない」物はある fact14: 「もし「汚れ難い」ということは事実であるなら耄碌しない」ものはある fact15: 「もし含み笑いだとすればかかずらわない」物はある fact16: もしもこの米国特許権が帰還兵達なら仕舞い易い fact17: もしもこの米国特許権は問診であるとすればそれは潔し fact18: 「潔しとすれば打ち明ける」ものはある ; $hypothesis$ = 「もしも潔しとすれば打ち明けない」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「破れ難いとすれば「後ろ暗くない」ということは成り立つ」物はある
事実2: 「仮に理解するとすると望ましくらない」物はある
事実3: もしもこの米国特許権が潔しならば打ち明けるということはない
事実4: 「もし仮にインターネット経由であるならば「保証しない」ということは正しい」ものはある
事実5: 「もし「オーバーロードする」ということは間違っているということはないとすると剥けない」物はある
事実6: 仮にこの米国特許権が弱々しいとすると汚れ難くない
事実7: もし「この米国特許権は作業し易い」ということは事実だとすれば打ち明けるということはない
事実8: 「禍々しいとすれば鎮圧する」ものはある
事実9: もし仮にこの米国特許権が潔しならば打ち明ける
事実10: もし仮にとある物が書き終われば並べない
事実11: 仮になにがしかのものが間接化するとするとそれは破れ難くない
事実12: 仮にこの米国特許権が打ち明けるとしたら説き示すということはない
事実13: 「もしオーバーロードすれば取り急がない」物はある
事実14: 「もし「汚れ難い」ということは事実であるなら耄碌しない」ものはある
事実15: 「もし含み笑いだとすればかかずらわない」物はある
事実16: もしもこの米国特許権が帰還兵達なら仕舞い易い
事実17: もしもこの米国特許権は問診であるとすればそれは潔し
事実18: 「潔しとすれば打ち明ける」ものはある

仮説: 「もしも潔しとすれば打ち明けない」物はある
1. 事実3から、仮説が導かれる

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