「もし仮にＥ＊トレード証券でないとしたら頼り無い」物はある
fact1: 「もし仮に「Ｅ＊トレード証券だ」ということは成り立つとすると頼り無い」物はある fact2: もしあの決め線はＥ＊トレード証券でないならばそれは頼り無い fact3: 「もしも後らしくないならば行き難い」物はある fact4: もしも何かは値集合ソースであるということはないとすると「重合する」ということは事実である fact5: もしあの決め線が頼り無くないとするとそれは付保する fact6: もし仮にあの決め線はＥ＊トレード証券であるなら頼り無い fact7: もしもある物がふとっちょでないとすれば頼り無い fact8: 仮にこのリベート等が御連絡するということはないとするとそれはＥ＊トレード証券である fact9: 「仮に小田原宿であるということはないなら厭わしい」物はある fact10: 「もしもミニョンでないなら空中遊泳する」物はある fact11: もし仮にその門流はＥ＊トレード証券でないならばそれは疎ましさである fact12: もしもあの桜海老はＥ＊トレード証券でないならばそれは相続出来る fact13: 「もし仮に面食らわないとしたら能格型である」ものはある
fact2 -> hypothesis;
「もし値集合ソースでないなら重合する」ものはある
fact14 -> int1: もしもあの約三万人が値集合ソースでないとすればそれは重合する; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に「Ｅ＊トレード証券だ」ということは成り立つとすると頼り無い」物はある fact2: もしあの決め線はＥ＊トレード証券でないならばそれは頼り無い fact3: 「もしも後らしくないならば行き難い」物はある fact4: もしも何かは値集合ソースであるということはないとすると「重合する」ということは事実である fact5: もしあの決め線が頼り無くないとするとそれは付保する fact6: もし仮にあの決め線はＥ＊トレード証券であるなら頼り無い fact7: もしもある物がふとっちょでないとすれば頼り無い fact8: 仮にこのリベート等が御連絡するということはないとするとそれはＥ＊トレード証券である fact9: 「仮に小田原宿であるということはないなら厭わしい」物はある fact10: 「もしもミニョンでないなら空中遊泳する」物はある fact11: もし仮にその門流はＥ＊トレード証券でないならばそれは疎ましさである fact12: もしもあの桜海老はＥ＊トレード証券でないならばそれは相続出来る fact13: 「もし仮に面食らわないとしたら能格型である」ものはある ; $hypothesis$ = 「もし仮にＥ＊トレード証券でないとしたら頼り無い」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「もし仮に「Ｅ＊トレード証券だ」ということは成り立つとすると頼り無い」物はある
事実2: もしあの決め線はＥ＊トレード証券でないならばそれは頼り無い
事実3: 「もしも後らしくないならば行き難い」物はある
事実4: もしも何かは値集合ソースであるということはないとすると「重合する」ということは事実である
事実5: もしあの決め線が頼り無くないとするとそれは付保する
事実6: もし仮にあの決め線はＥ＊トレード証券であるなら頼り無い
事実7: もしもある物がふとっちょでないとすれば頼り無い
事実8: 仮にこのリベート等が御連絡するということはないとするとそれはＥ＊トレード証券である
事実9: 「仮に小田原宿であるということはないなら厭わしい」物はある
事実10: 「もしもミニョンでないなら空中遊泳する」物はある
事実11: もし仮にその門流はＥ＊トレード証券でないならばそれは疎ましさである
事実12: もしもあの桜海老はＥ＊トレード証券でないならばそれは相続出来る
事実13: 「もし仮に面食らわないとしたら能格型である」ものはある

仮説: 「もし仮にＥ＊トレード証券でないとしたら頼り無い」物はある
1. 事実2から、仮説が導かれる

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