「「男装しなくて中取りである」ということは成り立たないとしたら退所しない」ものはある
fact1: あの指揮・監督は男装しないけど中取りであるならば退所しない fact2: 「仮に「正でなくてかつ竹箒だ」ということは誤りであるならばインターホンでない」物はある fact3: もし仮に「あの指揮・監督は男装するということはないがしかし中取りである」ということは誤っているとするとそれは退所する fact4: 「とあるものは倒すということはないが吹っ飛ぶ」ということは偽であるとすれば切り裂けるということはない fact5: 「もしも「各研究であるししかも重合だ」ということは間違っているとしたら「考え深くない」ということは成り立つ」ものはある fact6: 仮に「あの指揮・監督は技術職員でないがしかしそれはハイジャックする」ということは成り立たないとするとそれは砂出しする fact7: 「もしも「男装するということはなくてそれに中取りである」ということは間違いだとしたら退所する」物はある fact8: 「仮に手形決済日でなくておまけにもぐとすると一目でない」ものはある fact9: 「男装しないが中取りだとすれば退所しない」物はある fact10: もし仮に「あの指揮・監督は男装しないが中取りである」ということは成り立たないならそれは退所しない fact11: 「「進捗しない」ということは嘘でないなら多核であるということはない」ものはある fact12: あの指揮・監督が男装するとすると退所しない fact13: もし仮に「「あの指揮・監督は男装しないがしかしそれは公布・施行する」ということは確かである」ということは間違いであるならば詰めない fact14: 「仮に花卉部門でなくて加えて落ち難いなら孵らない」ものはある fact15: 「仮に「設定登記だししかも割り出す」ということは確かでないとすれば社団等でない」物はある fact16: 「もしも中取りでないとすれば「退所しない」ということは成り立つ」ものはある fact17: 「もし仮に「男装する」ということは正しいとすると退所しない」物はある fact18: 「あの指揮・監督はざわざわし始めない一方で人懐こい」ということは成り立たないとするとそれは改良しない fact19: 「もしも「法号でなくておまけに喧しい」ということは成り立つということはないならば初旬であるということはない」物はある
fact10 -> hypothesis;
fact10 -> hypothesis;
「仮に「倒さないしさらに吹っ飛ぶ」ということは成り立たないなら切り裂けない」ものはある
fact20 -> int1: もし「あの双璧は倒さないがしかし吹っ飛ぶ」ということは成り立たないとしたらそれは切り裂けない; int1 -> hypothesis;
$facts$ = fact1: あの指揮・監督は男装しないけど中取りであるならば退所しない fact2: 「仮に「正でなくてかつ竹箒だ」ということは誤りであるならばインターホンでない」物はある fact3: もし仮に「あの指揮・監督は男装するということはないがしかし中取りである」ということは誤っているとするとそれは退所する fact4: 「とあるものは倒すということはないが吹っ飛ぶ」ということは偽であるとすれば切り裂けるということはない fact5: 「もしも「各研究であるししかも重合だ」ということは間違っているとしたら「考え深くない」ということは成り立つ」ものはある fact6: 仮に「あの指揮・監督は技術職員でないがしかしそれはハイジャックする」ということは成り立たないとするとそれは砂出しする fact7: 「もしも「男装するということはなくてそれに中取りである」ということは間違いだとしたら退所する」物はある fact8: 「仮に手形決済日でなくておまけにもぐとすると一目でない」ものはある fact9: 「男装しないが中取りだとすれば退所しない」物はある fact10: もし仮に「あの指揮・監督は男装しないが中取りである」ということは成り立たないならそれは退所しない fact11: 「「進捗しない」ということは嘘でないなら多核であるということはない」ものはある fact12: あの指揮・監督が男装するとすると退所しない fact13: もし仮に「「あの指揮・監督は男装しないがしかしそれは公布・施行する」ということは確かである」ということは間違いであるならば詰めない fact14: 「仮に花卉部門でなくて加えて落ち難いなら孵らない」ものはある fact15: 「仮に「設定登記だししかも割り出す」ということは確かでないとすれば社団等でない」物はある fact16: 「もしも中取りでないとすれば「退所しない」ということは成り立つ」ものはある fact17: 「もし仮に「男装する」ということは正しいとすると退所しない」物はある fact18: 「あの指揮・監督はざわざわし始めない一方で人懐こい」ということは成り立たないとするとそれは改良しない fact19: 「もしも「法号でなくておまけに喧しい」ということは成り立つということはないならば初旬であるということはない」物はある ; $hypothesis$ = 「「男装しなくて中取りである」ということは成り立たないとしたら退所しない」ものはある ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: あの指揮・監督は男装しないけど中取りであるならば退所しない
事実2: 「仮に「正でなくてかつ竹箒だ」ということは誤りであるならばインターホンでない」物はある
事実3: もし仮に「あの指揮・監督は男装するということはないがしかし中取りである」ということは誤っているとするとそれは退所する
事実4: 「とあるものは倒すということはないが吹っ飛ぶ」ということは偽であるとすれば切り裂けるということはない
事実5: 「もしも「各研究であるししかも重合だ」ということは間違っているとしたら「考え深くない」ということは成り立つ」ものはある
事実6: 仮に「あの指揮・監督は技術職員でないがしかしそれはハイジャックする」ということは成り立たないとするとそれは砂出しする
事実7: 「もしも「男装するということはなくてそれに中取りである」ということは間違いだとしたら退所する」物はある
事実8: 「仮に手形決済日でなくておまけにもぐとすると一目でない」ものはある
事実9: 「男装しないが中取りだとすれば退所しない」物はある
事実10: もし仮に「あの指揮・監督は男装しないが中取りである」ということは成り立たないならそれは退所しない
事実11: 「「進捗しない」ということは嘘でないなら多核であるということはない」ものはある
事実12: あの指揮・監督が男装するとすると退所しない
事実13: もし仮に「「あの指揮・監督は男装しないがしかしそれは公布・施行する」ということは確かである」ということは間違いであるならば詰めない
事実14: 「仮に花卉部門でなくて加えて落ち難いなら孵らない」ものはある
事実15: 「仮に「設定登記だししかも割り出す」ということは確かでないとすれば社団等でない」物はある
事実16: 「もしも中取りでないとすれば「退所しない」ということは成り立つ」ものはある
事実17: 「もし仮に「男装する」ということは正しいとすると退所しない」物はある
事実18: 「あの指揮・監督はざわざわし始めない一方で人懐こい」ということは成り立たないとするとそれは改良しない
事実19: 「もしも「法号でなくておまけに喧しい」ということは成り立つということはないならば初旬であるということはない」物はある

仮説: 「「男装しなくて中取りである」ということは成り立たないとしたら退所しない」ものはある
1. 事実10から、仮説が導かれる

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