「もしエネルギー源でなくて浅くないとすれば四角い」ものはある
fact1: 「もしエネルギー源だということはない一方で浅いなら四角い」ものはある fact2: その交友範囲がエネルギー源でなくておまけに浅くないとしたらそれは四角い fact3: 「もしビルヌーブでなくてデッサンしないとすれば表Ｅな」ものはある fact4: もし仮にその交友範囲はエネルギー源であるけれど浅くないとしたらそれは四角い fact5: 「もし仮にエネルギー源であるけど浅いということはないなら四角い」ものはある fact6: 仮になにかは隔月刊でなくておまけに戻り鰹でないとすれば伸ばす fact7: その交友範囲がエネルギー源でない一方で浅いとすればそれは四角い
fact2 -> hypothesis;
fact2 -> hypothesis;
「もしも隔月刊でないし戻り鰹でないとすると伸ばす」ものはある
fact8 -> int1: 仮にこの電離箱は隔月刊でなくてそれに戻り鰹でないなら伸ばす; int1 -> hypothesis;
$facts$ = fact1: 「もしエネルギー源だということはない一方で浅いなら四角い」ものはある fact2: その交友範囲がエネルギー源でなくておまけに浅くないとしたらそれは四角い fact3: 「もしビルヌーブでなくてデッサンしないとすれば表Ｅな」ものはある fact4: もし仮にその交友範囲はエネルギー源であるけれど浅くないとしたらそれは四角い fact5: 「もし仮にエネルギー源であるけど浅いということはないなら四角い」ものはある fact6: 仮になにかは隔月刊でなくておまけに戻り鰹でないとすれば伸ばす fact7: その交友範囲がエネルギー源でない一方で浅いとすればそれは四角い ; $hypothesis$ = 「もしエネルギー源でなくて浅くないとすれば四角い」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「もしエネルギー源だということはない一方で浅いなら四角い」ものはある
事実2: その交友範囲がエネルギー源でなくておまけに浅くないとしたらそれは四角い
事実3: 「もしビルヌーブでなくてデッサンしないとすれば表Ｅな」ものはある
事実4: もし仮にその交友範囲はエネルギー源であるけれど浅くないとしたらそれは四角い
事実5: 「もし仮にエネルギー源であるけど浅いということはないなら四角い」ものはある
事実6: 仮になにかは隔月刊でなくておまけに戻り鰹でないとすれば伸ばす
事実7: その交友範囲がエネルギー源でない一方で浅いとすればそれは四角い

仮説: 「もしエネルギー源でなくて浅くないとすれば四角い」ものはある
1. 事実2から、仮説が導かれる

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