この唐草模様はオールドローズでない一方で深い
fact1: 「形成し始める」ものがあるならこの勅命は三ちゃんでないけど置き直す fact2: もしもなにかは三ちゃんでないけれど置き直すとしたらそれは開館する fact3: 仮にとあるものは三ちゃんでないとすれば「それはオールドローズであるということはなくて深い」ということは偽である fact4: この唐草模様はオールドローズでないけれど深い fact5: もし仮にある物が続き易くないとするとそれは改造するしおまけにそれは三日坊主でない fact6: もしも「五十パーセント未満だがしかしレイヤーでない」ものがあるとすればこの勅命は続き易くない fact7: 「五十パーセント未満だしさらにレイヤーでない」ものはある fact8: もしなんらかのものが三日坊主でないとしたら大群集で艶めかしくない fact9: この唐草模様は形成し始める
fact4 -> hypothesis;
fact4 -> hypothesis;
「この唐草模様はオールドローズでないが深い」ということは誤りである
fact10 -> int1: 「もし仮にこの唐草模様は三ちゃんでないとすれば「この唐草模様はオールドローズであるということはないけれど深い」ということは成り立たない」ということは成り立つ;
$facts$ = fact1: 「形成し始める」ものがあるならこの勅命は三ちゃんでないけど置き直す fact2: もしもなにかは三ちゃんでないけれど置き直すとしたらそれは開館する fact3: 仮にとあるものは三ちゃんでないとすれば「それはオールドローズであるということはなくて深い」ということは偽である fact4: この唐草模様はオールドローズでないけれど深い fact5: もし仮にある物が続き易くないとするとそれは改造するしおまけにそれは三日坊主でない fact6: もしも「五十パーセント未満だがしかしレイヤーでない」ものがあるとすればこの勅命は続き易くない fact7: 「五十パーセント未満だしさらにレイヤーでない」ものはある fact8: もしなんらかのものが三日坊主でないとしたら大群集で艶めかしくない fact9: この唐草模様は形成し始める ; $hypothesis$ = この唐草模様はオールドローズでない一方で深い ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「形成し始める」ものがあるならこの勅命は三ちゃんでないけど置き直す
事実2: もしもなにかは三ちゃんでないけれど置き直すとしたらそれは開館する
事実3: 仮にとあるものは三ちゃんでないとすれば「それはオールドローズであるということはなくて深い」ということは偽である
事実4: この唐草模様はオールドローズでないけれど深い
事実5: もし仮にある物が続き易くないとするとそれは改造するしおまけにそれは三日坊主でない
事実6: もしも「五十パーセント未満だがしかしレイヤーでない」ものがあるとすればこの勅命は続き易くない
事実7: 「五十パーセント未満だしさらにレイヤーでない」ものはある
事実8: もしなんらかのものが三日坊主でないとしたら大群集で艶めかしくない
事実9: この唐草模様は形成し始める

仮説: この唐草模様はオールドローズでない一方で深い
1. 事実4から、仮説が導かれる

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