「仮に艶っぽくないならば犯し易いということはなくておまけに熟慮しない」物はある
fact1: 「艶っぽいとすると犯し易くないしかつ熟慮しない」ものはある fact2: もし「そのビューラは艶っぽくない」ということは偽だとすると犯し易くないしそれに熟慮するということはない fact3: もし仮にあの段注が審議しないとしたらそれは芽生え始めなくてまた悪しない fact4: 「なんらかの物は染め物だということはない」ということは確かであるとするとそれは踏ん反り返らなくて均衡しない fact5: 「もしも艶っぽいということはないとすると犯し易くて熟慮しない」ものはある fact6: もしもそのビューラが艶っぽいということはないならばそれは犯し易くないけど熟慮する fact7: 「もし艶っぽくないとすれば犯し易くない」ものはある fact8: 「仮に潜在成長率でないならば笑い飛ばせらない」ものはある fact9: 「仮に押し黙るとすると吹っ切れないし平ったくない」物はある fact10: 「もし艶っぽいということはないならば熟慮しない」ものはある fact11: もしもそのビューラが艶っぽくないとすると犯し易いということはないし熟慮しない fact12: 「もしそのビューラが艶っぽくないならそのビューラは犯し易いということはない」ということは成り立つ fact13: 「もしも「均衡する」ということは本当であるならば切り離し難いということはないしその上芽生え始めない」ものはある fact14: 「仮に「フラートでない」ということは間違いでないなら荒々しくない」ものはある fact15: 「もし仲睦まじくないとしたら運び易くない」物はある fact16: 「反比例するなら覚束無くないししかも摘まない」物はある fact17: 「もしも艶っぽくないとしたら犯し易くないけれど熟慮する」ものはある
fact11 -> hypothesis;
「もし仮に染め物でないとしたら踏ん反り返らないしかつ均衡しない」ものはある
fact18 -> int1: もしこの大社が染め物でないならそれは踏ん反り返らなくてしかもそれは均衡しない; int1 -> hypothesis;
$facts$ = fact1: 「艶っぽいとすると犯し易くないしかつ熟慮しない」ものはある fact2: もし「そのビューラは艶っぽくない」ということは偽だとすると犯し易くないしそれに熟慮するということはない fact3: もし仮にあの段注が審議しないとしたらそれは芽生え始めなくてまた悪しない fact4: 「なんらかの物は染め物だということはない」ということは確かであるとするとそれは踏ん反り返らなくて均衡しない fact5: 「もしも艶っぽいということはないとすると犯し易くて熟慮しない」ものはある fact6: もしもそのビューラが艶っぽいということはないならばそれは犯し易くないけど熟慮する fact7: 「もし艶っぽくないとすれば犯し易くない」ものはある fact8: 「仮に潜在成長率でないならば笑い飛ばせらない」ものはある fact9: 「仮に押し黙るとすると吹っ切れないし平ったくない」物はある fact10: 「もし艶っぽいということはないならば熟慮しない」ものはある fact11: もしもそのビューラが艶っぽくないとすると犯し易いということはないし熟慮しない fact12: 「もしそのビューラが艶っぽくないならそのビューラは犯し易いということはない」ということは成り立つ fact13: 「もしも「均衡する」ということは本当であるならば切り離し難いということはないしその上芽生え始めない」ものはある fact14: 「仮に「フラートでない」ということは間違いでないなら荒々しくない」ものはある fact15: 「もし仲睦まじくないとしたら運び易くない」物はある fact16: 「反比例するなら覚束無くないししかも摘まない」物はある fact17: 「もしも艶っぽくないとしたら犯し易くないけれど熟慮する」ものはある ; $hypothesis$ = 「仮に艶っぽくないならば犯し易いということはなくておまけに熟慮しない」物はある ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: 「艶っぽいとすると犯し易くないしかつ熟慮しない」ものはある
事実2: もし「そのビューラは艶っぽくない」ということは偽だとすると犯し易くないしそれに熟慮するということはない
事実3: もし仮にあの段注が審議しないとしたらそれは芽生え始めなくてまた悪しない
事実4: 「なんらかの物は染め物だということはない」ということは確かであるとするとそれは踏ん反り返らなくて均衡しない
事実5: 「もしも艶っぽいということはないとすると犯し易くて熟慮しない」ものはある
事実6: もしもそのビューラが艶っぽいということはないならばそれは犯し易くないけど熟慮する
事実7: 「もし艶っぽくないとすれば犯し易くない」ものはある
事実8: 「仮に潜在成長率でないならば笑い飛ばせらない」ものはある
事実9: 「仮に押し黙るとすると吹っ切れないし平ったくない」物はある
事実10: 「もし艶っぽいということはないならば熟慮しない」ものはある
事実11: もしもそのビューラが艶っぽくないとすると犯し易いということはないし熟慮しない
事実12: 「もしそのビューラが艶っぽくないならそのビューラは犯し易いということはない」ということは成り立つ
事実13: 「もしも「均衡する」ということは本当であるならば切り離し難いということはないしその上芽生え始めない」ものはある
事実14: 「仮に「フラートでない」ということは間違いでないなら荒々しくない」ものはある
事実15: 「もし仲睦まじくないとしたら運び易くない」物はある
事実16: 「反比例するなら覚束無くないししかも摘まない」物はある
事実17: 「もしも艶っぽくないとしたら犯し易くないけれど熟慮する」ものはある

仮説: 「仮に艶っぽくないならば犯し易いということはなくておまけに熟慮しない」物はある
1. 事実11から、仮説が導かれる

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