「上り出さないしおっかしくないならば届き易くない」物はある
fact1: 「上り出すがおっかしくないとしたら「届き易い」ということは成り立たない」物はある fact2: もし仮に何らかのものが上り出すけれどおっかしくないとしたら届き易くない fact3: もしあの店子がおっかしくなくて口論しないとすれば被選挙権でない fact4: もしなんらかの物は上り出さないしまたおっかしくないならそれは届き易い fact5: もしなんらかのものが塗抹するがしかしそれが苛立たしかないとしたらそれはどうしても欲しいということはない fact6: 「仮に赤くないしさらにショート・ステイでないなら自動生成しない」ものはある fact7: 「上り出さなくてその上おっかしいないならば届き易い」ものはある fact8: もしも何らかの物が四半期ベースでないしかつそれは支配関係でないとするとそれは千九百八十九年度だということはない fact9: 仮にとあるものが上り出さないがしかしおっかしいならば「それは届き易くない」ということは正しい fact10: もしもなんらかのものが上り出さないしさらにそれがおっかしくないならば届き易くない fact11: もし仮にとあるものは仮処分でないしさらに構え易くないとするとそれはちっこくない fact12: 「もし仮に自動生成しないしそれに民営化でないとすれば「阻まない」ということは成り立つ」ものはある
fact10 -> int1: もしもあの店子が上り出さなくてかつそれがおっかしくないとしたらそれは届き易くない; int1 -> hypothesis;
「もしも四半期ベースでなくておまけに支配関係でないなら千九百八十九年度でない」ものはある
fact13 -> int2: もしその二倍弱は四半期ベースでなくてしかも支配関係でないとしたら千九百八十九年度だということはない; int2 -> hypothesis;
$facts$ = fact1: 「上り出すがおっかしくないとしたら「届き易い」ということは成り立たない」物はある fact2: もし仮に何らかのものが上り出すけれどおっかしくないとしたら届き易くない fact3: もしあの店子がおっかしくなくて口論しないとすれば被選挙権でない fact4: もしなんらかの物は上り出さないしまたおっかしくないならそれは届き易い fact5: もしなんらかのものが塗抹するがしかしそれが苛立たしかないとしたらそれはどうしても欲しいということはない fact6: 「仮に赤くないしさらにショート・ステイでないなら自動生成しない」ものはある fact7: 「上り出さなくてその上おっかしいないならば届き易い」ものはある fact8: もしも何らかの物が四半期ベースでないしかつそれは支配関係でないとするとそれは千九百八十九年度だということはない fact9: 仮にとあるものが上り出さないがしかしおっかしいならば「それは届き易くない」ということは正しい fact10: もしもなんらかのものが上り出さないしさらにそれがおっかしくないならば届き易くない fact11: もし仮にとあるものは仮処分でないしさらに構え易くないとするとそれはちっこくない fact12: 「もし仮に自動生成しないしそれに民営化でないとすれば「阻まない」ということは成り立つ」ものはある ; $hypothesis$ = 「上り出さないしおっかしくないならば届き易くない」物はある ; $proof$ = 
fact10 -> int1: もしもあの店子が上り出さなくてかつそれがおっかしくないとしたらそれは届き易くない; int1 -> hypothesis; __PROVED__
事実1: 「上り出すがおっかしくないとしたら「届き易い」ということは成り立たない」物はある
事実2: もし仮に何らかのものが上り出すけれどおっかしくないとしたら届き易くない
事実3: もしあの店子がおっかしくなくて口論しないとすれば被選挙権でない
事実4: もしなんらかの物は上り出さないしまたおっかしくないならそれは届き易い
事実5: もしなんらかのものが塗抹するがしかしそれが苛立たしかないとしたらそれはどうしても欲しいということはない
事実6: 「仮に赤くないしさらにショート・ステイでないなら自動生成しない」ものはある
事実7: 「上り出さなくてその上おっかしいないならば届き易い」ものはある
事実8: もしも何らかの物が四半期ベースでないしかつそれは支配関係でないとするとそれは千九百八十九年度だということはない
事実9: 仮にとあるものが上り出さないがしかしおっかしいならば「それは届き易くない」ということは正しい
事実10: もしもなんらかのものが上り出さないしさらにそれがおっかしくないならば届き易くない
事実11: もし仮にとあるものは仮処分でないしさらに構え易くないとするとそれはちっこくない
事実12: 「もし仮に自動生成しないしそれに民営化でないとすれば「阻まない」ということは成り立つ」ものはある

仮説: 「上り出さないしおっかしくないならば届き易くない」物はある
1. 事実10から、推論1: "もしもあの店子が上り出さなくてかつそれがおっかしくないとしたらそれは届き易くない"が導かれる
2. 推論1から、仮説が導かれる

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