「仮に底深くないならば対応し易い」物はある
fact1: もしなにかは現預金であるということはないならば尽くし難い fact2: もし仮になにかは製造物責任だということはないなら対応し易い fact3: 「もしも造成するなら書き易い」ものはある fact4: 「底深いなら対応し易い」物はある fact5: 御優しい物は眺望する fact6: 底深くない物は対応し易い fact7: 底深いものは対応し易い fact8: もし仮にあの士官が掛かり難くないとすると対応し易い
fact6 -> int1: 仮にあの写真部が底深いということはないとしたらそれは対応し易い; int1 -> hypothesis;
もし仮にこの一シーズンは製造物責任でないとするとそれは対応し易い
fact9 -> hypothesis;
$facts$ = fact1: もしなにかは現預金であるということはないならば尽くし難い fact2: もし仮になにかは製造物責任だということはないなら対応し易い fact3: 「もしも造成するなら書き易い」ものはある fact4: 「底深いなら対応し易い」物はある fact5: 御優しい物は眺望する fact6: 底深くない物は対応し易い fact7: 底深いものは対応し易い fact8: もし仮にあの士官が掛かり難くないとすると対応し易い ; $hypothesis$ = 「仮に底深くないならば対応し易い」物はある ; $proof$ = 
fact6 -> int1: 仮にあの写真部が底深いということはないとしたらそれは対応し易い; int1 -> hypothesis; __PROVED__
事実1: もしなにかは現預金であるということはないならば尽くし難い
事実2: もし仮になにかは製造物責任だということはないなら対応し易い
事実3: 「もしも造成するなら書き易い」ものはある
事実4: 「底深いなら対応し易い」物はある
事実5: 御優しい物は眺望する
事実6: 底深くない物は対応し易い
事実7: 底深いものは対応し易い
事実8: もし仮にあの士官が掛かり難くないとすると対応し易い

仮説: 「仮に底深くないならば対応し易い」物はある
1. 事実6から、推論1: "仮にあの写真部が底深いということはないとしたらそれは対応し易い"が導かれる
2. 推論1から、仮説が導かれる

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