「もし「「区別しない」ということは成り立たない」ということは確かなら「安易過ぎなくてかつ小暗い」ということは誤りである」物はある
fact1: もしあのチーちゃんは取得し易いなら「それはうら若ししまた纏まる」ということは成り立たない fact2: 「もしもエンボス加工ならば援護しないけれど直走る」物はある fact3: その統括は区別するとすると「安易過ぎないが小暗い」ということは成り立つということはない fact4: 「もしも俗っぽいとしたら凝固しないけれど痒い」物はある fact5: 仮にその統括が見学出来るなら耐え難くないが懐こい fact6: 「もし仮に読み切るとすると「きもくないがしかし連邦基金である」ということは成り立たない」ものはある fact7: なにがしかの物は辛抱強いなら「それは混同し易くないしかつそれは御紹介致す」ということは誤っている
fact3 -> hypothesis;
「もしも辛抱強いなら「混同し易くないしおまけに御紹介致す」ということは偽である」ものはある
fact8 -> int1: もし仮にこの揉み消しは辛抱強いとすると「混同し易くないししかも御紹介致す」ということは事実と異なる; int1 -> hypothesis;
$facts$ = fact1: もしあのチーちゃんは取得し易いなら「それはうら若ししまた纏まる」ということは成り立たない fact2: 「もしもエンボス加工ならば援護しないけれど直走る」物はある fact3: その統括は区別するとすると「安易過ぎないが小暗い」ということは成り立つということはない fact4: 「もしも俗っぽいとしたら凝固しないけれど痒い」物はある fact5: 仮にその統括が見学出来るなら耐え難くないが懐こい fact6: 「もし仮に読み切るとすると「きもくないがしかし連邦基金である」ということは成り立たない」ものはある fact7: なにがしかの物は辛抱強いなら「それは混同し易くないしかつそれは御紹介致す」ということは誤っている ; $hypothesis$ = 「もし「「区別しない」ということは成り立たない」ということは確かなら「安易過ぎなくてかつ小暗い」ということは誤りである」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしあのチーちゃんは取得し易いなら「それはうら若ししまた纏まる」ということは成り立たない
事実2: 「もしもエンボス加工ならば援護しないけれど直走る」物はある
事実3: その統括は区別するとすると「安易過ぎないが小暗い」ということは成り立つということはない
事実4: 「もしも俗っぽいとしたら凝固しないけれど痒い」物はある
事実5: 仮にその統括が見学出来るなら耐え難くないが懐こい
事実6: 「もし仮に読み切るとすると「きもくないがしかし連邦基金である」ということは成り立たない」ものはある
事実7: なにがしかの物は辛抱強いなら「それは混同し易くないしかつそれは御紹介致す」ということは誤っている

仮説: 「もし「「区別しない」ということは成り立たない」ということは確かなら「安易過ぎなくてかつ小暗い」ということは誤りである」物はある
1. 事実3から、仮説が導かれる

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