そのＸＰは禁煙出来る
fact1: もしもその受忍義務が犯し易いとすればこの注意義務違反は鷲掴む fact2: もし仮にあるものは御豆だが過剰発現でないとするとそれは口止めする fact3: あの営業先は禁煙出来る fact4: そのＸＰは禁煙出来る fact5: あらゆる物は捕らえ易いということはないしまた因り難いということはない fact6: もし仮にこの注意義務違反は線分上ならば「そのＸＰは禁煙出来るけどそれは税込み・送料別でない」ということは誤りだ fact7: もしそのＸＰは義務者だとすれば「この気運は税込み・送料別でないし線分上でない」ということは間違いだ fact8: そのＸＰは作り終わる fact9: そのＸＰは履ける fact10: 仮にこの注意義務違反が拾うがしかしそれは義務者でないとしたら線分上だ fact11: もしなにかは口止めしないなら義務者であるが拾わない fact12: 仮になにがしかのものは鷲掴むなら「それは過剰発現でないしおまけにそれは御豆でない」ということは偽である fact13: もしも何らかのものが口止めすれば拾うしその上それは義務者でない fact14: 「あの高校生達は禁煙出来る」ということは事実である fact15: もしその受忍義務が気恥ずかしいとするとこの注意義務違反は鷲掴む fact16: もし仮に「とある物は禁煙出来るけど税込み・送料別でない」ということは成り立つということはないとしたら禁煙出来ない fact17: もし「「過剰発現でなくておまけに御豆でない」ということは誤っている」物があるならそのＸＰは口止めしない fact18: 捕らえ易くない物は気恥ずかしいか犯し易い
fact4 -> hypothesis;
fact4 -> hypothesis;
そのＸＰは禁煙出来ない
fact22 -> int1: もしも「そのＸＰは禁煙出来るけれど税込み・送料別でない」ということは成り立たないならばそれは禁煙出来ない; fact19 -> int2: 仮にこの注意義務違反が口止めするとすればそれは拾うしそれにそれは義務者でない; fact21 -> int3: もし仮にこの注意義務違反は御豆であるがしかし過剰発現であるということはないとすると口止めする;
$facts$ = fact1: もしもその受忍義務が犯し易いとすればこの注意義務違反は鷲掴む fact2: もし仮にあるものは御豆だが過剰発現でないとするとそれは口止めする fact3: あの営業先は禁煙出来る fact4: そのＸＰは禁煙出来る fact5: あらゆる物は捕らえ易いということはないしまた因り難いということはない fact6: もし仮にこの注意義務違反は線分上ならば「そのＸＰは禁煙出来るけどそれは税込み・送料別でない」ということは誤りだ fact7: もしそのＸＰは義務者だとすれば「この気運は税込み・送料別でないし線分上でない」ということは間違いだ fact8: そのＸＰは作り終わる fact9: そのＸＰは履ける fact10: 仮にこの注意義務違反が拾うがしかしそれは義務者でないとしたら線分上だ fact11: もしなにかは口止めしないなら義務者であるが拾わない fact12: 仮になにがしかのものは鷲掴むなら「それは過剰発現でないしおまけにそれは御豆でない」ということは偽である fact13: もしも何らかのものが口止めすれば拾うしその上それは義務者でない fact14: 「あの高校生達は禁煙出来る」ということは事実である fact15: もしその受忍義務が気恥ずかしいとするとこの注意義務違反は鷲掴む fact16: もし仮に「とある物は禁煙出来るけど税込み・送料別でない」ということは成り立つということはないとしたら禁煙出来ない fact17: もし「「過剰発現でなくておまけに御豆でない」ということは誤っている」物があるならそのＸＰは口止めしない fact18: 捕らえ易くない物は気恥ずかしいか犯し易い ; $hypothesis$ = そのＸＰは禁煙出来る ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もしもその受忍義務が犯し易いとすればこの注意義務違反は鷲掴む
事実2: もし仮にあるものは御豆だが過剰発現でないとするとそれは口止めする
事実3: あの営業先は禁煙出来る
事実4: そのＸＰは禁煙出来る
事実5: あらゆる物は捕らえ易いということはないしまた因り難いということはない
事実6: もし仮にこの注意義務違反は線分上ならば「そのＸＰは禁煙出来るけどそれは税込み・送料別でない」ということは誤りだ
事実7: もしそのＸＰは義務者だとすれば「この気運は税込み・送料別でないし線分上でない」ということは間違いだ
事実8: そのＸＰは作り終わる
事実9: そのＸＰは履ける
事実10: 仮にこの注意義務違反が拾うがしかしそれは義務者でないとしたら線分上だ
事実11: もしなにかは口止めしないなら義務者であるが拾わない
事実12: 仮になにがしかのものは鷲掴むなら「それは過剰発現でないしおまけにそれは御豆でない」ということは偽である
事実13: もしも何らかのものが口止めすれば拾うしその上それは義務者でない
事実14: 「あの高校生達は禁煙出来る」ということは事実である
事実15: もしその受忍義務が気恥ずかしいとするとこの注意義務違反は鷲掴む
事実16: もし仮に「とある物は禁煙出来るけど税込み・送料別でない」ということは成り立つということはないとしたら禁煙出来ない
事実17: もし「「過剰発現でなくておまけに御豆でない」ということは誤っている」物があるならそのＸＰは口止めしない
事実18: 捕らえ易くない物は気恥ずかしいか犯し易い

仮説: そのＸＰは禁煙出来る
1. 事実4から、仮説が導かれる

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