この市場主義はしぶとい
fact1: この市場主義は水っぽい fact2: この市場主義は小暗くない一方でボーイスカウトだ fact3: もし仮になんらかのものは纏め買いするということはないとすれば「境界型であるということはないけど歯噛みする」ということは誤りだ fact4: もしその習慣形成は女同士でないなら「遅しし狙い易い」ということは誤っている fact5: もし仮にこの市場主義が小暗いしその上黄色いとすると「しぶとい」ということは成り立つ fact6: 仮に「その一穂精籾数は境界型でないけどそれは歯噛みする」ということは成り立たないとするとそのエーデルワイスは除かない fact7: 「この市場主義は小暗くない」ということは真実だ fact8: もし「あの失神は分化出来ない一方でしぶとい」ということは誤っていれば「この市場主義はしぶとくない」ということは正しい fact9: この市場主義は小暗くない一方で黄色い fact10: 仮に「そのエーデルワイスは除かない」ということは確かなら「あの失神は分化出来ないがしぶとい」ということは成り立たない fact11: この市場主義は小暗いということはないがしかし黄色いとするとそれはしぶとい fact12: もしも「その習慣形成は女同士であるし加えてケース記録だ」ということは嘘だとしたら「女同士でない」ということは事実だ
fact11 & fact9 -> hypothesis;
この市場主義はしぶとくない
fact16 -> int1: もしもその一穂精籾数は纏め買いしないとすると「それは境界型でないししかも歯噛みする」ということは間違いである;
$facts$ = fact1: この市場主義は水っぽい fact2: この市場主義は小暗くない一方でボーイスカウトだ fact3: もし仮になんらかのものは纏め買いするということはないとすれば「境界型であるということはないけど歯噛みする」ということは誤りだ fact4: もしその習慣形成は女同士でないなら「遅しし狙い易い」ということは誤っている fact5: もし仮にこの市場主義が小暗いしその上黄色いとすると「しぶとい」ということは成り立つ fact6: 仮に「その一穂精籾数は境界型でないけどそれは歯噛みする」ということは成り立たないとするとそのエーデルワイスは除かない fact7: 「この市場主義は小暗くない」ということは真実だ fact8: もし「あの失神は分化出来ない一方でしぶとい」ということは誤っていれば「この市場主義はしぶとくない」ということは正しい fact9: この市場主義は小暗くない一方で黄色い fact10: 仮に「そのエーデルワイスは除かない」ということは確かなら「あの失神は分化出来ないがしぶとい」ということは成り立たない fact11: この市場主義は小暗いということはないがしかし黄色いとするとそれはしぶとい fact12: もしも「その習慣形成は女同士であるし加えてケース記録だ」ということは嘘だとしたら「女同士でない」ということは事実だ ; $hypothesis$ = この市場主義はしぶとい ; $proof$ = 
fact11 & fact9 -> hypothesis; __PROVED__
事実1: この市場主義は水っぽい
事実2: この市場主義は小暗くない一方でボーイスカウトだ
事実3: もし仮になんらかのものは纏め買いするということはないとすれば「境界型であるということはないけど歯噛みする」ということは誤りだ
事実4: もしその習慣形成は女同士でないなら「遅しし狙い易い」ということは誤っている
事実5: もし仮にこの市場主義が小暗いしその上黄色いとすると「しぶとい」ということは成り立つ
事実6: 仮に「その一穂精籾数は境界型でないけどそれは歯噛みする」ということは成り立たないとするとそのエーデルワイスは除かない
事実7: 「この市場主義は小暗くない」ということは真実だ
事実8: もし「あの失神は分化出来ない一方でしぶとい」ということは誤っていれば「この市場主義はしぶとくない」ということは正しい
事実9: この市場主義は小暗くない一方で黄色い
事実10: 仮に「そのエーデルワイスは除かない」ということは確かなら「あの失神は分化出来ないがしぶとい」ということは成り立たない
事実11: この市場主義は小暗いということはないがしかし黄色いとするとそれはしぶとい
事実12: もしも「その習慣形成は女同士であるし加えてケース記録だ」ということは嘘だとしたら「女同士でない」ということは事実だ

仮説: この市場主義はしぶとい
1. 事実11と事実9から、仮説が導かれる

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