「もし仮に上昇し易いしおまけに利用され易いとしたらぎごちなくない」ものはある
fact1: もし仮にあの受光素子は偏り易くて拭い難いならばそれは嘲り笑わない fact2: 「「仮に上昇し易いししかも利用され易いとするとぎごちない」物はある」ということは事実だ fact3: 「もしもワックスポリッシュであるし市場化するなら拾い出さない」物はある fact4: もしあの孑孑は上昇し易いし加えて利用され易いとするとそれはぎごちない fact5: 仮にあの孑孑は上昇し易いしおまけに利用され易いとしたらそれはぎごちなくない fact6: 「もしも遊行するし加えて上がり始めるとしたらトランスポート層でない」物はある fact7: とあるものは開き為さるししかもひもじいとすれば甚振り続けない
fact5 -> hypothesis;
fact5 -> hypothesis;
「仮に開き為さるしさらにひもじいとすると甚振り続けるということはない」ものはある
fact8 -> int1: もしもこの特殊事情が開き為さるし加えてそれがひもじいとすれば甚振り続けない; int1 -> hypothesis;
$facts$ = fact1: もし仮にあの受光素子は偏り易くて拭い難いならばそれは嘲り笑わない fact2: 「「仮に上昇し易いししかも利用され易いとするとぎごちない」物はある」ということは事実だ fact3: 「もしもワックスポリッシュであるし市場化するなら拾い出さない」物はある fact4: もしあの孑孑は上昇し易いし加えて利用され易いとするとそれはぎごちない fact5: 仮にあの孑孑は上昇し易いしおまけに利用され易いとしたらそれはぎごちなくない fact6: 「もしも遊行するし加えて上がり始めるとしたらトランスポート層でない」物はある fact7: とあるものは開き為さるししかもひもじいとすれば甚振り続けない ; $hypothesis$ = 「もし仮に上昇し易いしおまけに利用され易いとしたらぎごちなくない」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もし仮にあの受光素子は偏り易くて拭い難いならばそれは嘲り笑わない
事実2: 「「仮に上昇し易いししかも利用され易いとするとぎごちない」物はある」ということは事実だ
事実3: 「もしもワックスポリッシュであるし市場化するなら拾い出さない」物はある
事実4: もしあの孑孑は上昇し易いし加えて利用され易いとするとそれはぎごちない
事実5: 仮にあの孑孑は上昇し易いしおまけに利用され易いとしたらそれはぎごちなくない
事実6: 「もしも遊行するし加えて上がり始めるとしたらトランスポート層でない」物はある
事実7: とあるものは開き為さるししかもひもじいとすれば甚振り続けない

仮説: 「もし仮に上昇し易いしおまけに利用され易いとしたらぎごちなくない」ものはある
1. 事実5から、仮説が導かれる

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