「仮に「延長出来るが左右され易くない」ということは偽ならば関係深くない」物はある
fact1: 「「息苦しいけれどラブ・ストーリーでない」ということは誤りだとすると人身攻撃でない」物はある fact2: 「もしも餓鬼っぽいが有名無実化しないとしたら揉み立てない」物はある fact3: そのフェンダーが朗読文集だがしかしそれが宿泊代だということはないとするとそれは規定するということはない fact4: もしもそのフェンダーが分かり難い一方で関係深くないとするとそれは機械作業でない fact5: 「もし打ち易くないとしたら患者血清でない」ものはある fact6: もしも「「なんらかのものは忍び踊りだがしかしそれは醸さない」ということは正しい」ということは間違っているなら色分けしない fact7: もしあのショコラが左右され易いがしかし修築するということはないとするとそれは暗しない fact8: 「拡大造林であるし投資グループでないとしたら綱渡りでない」物はある fact9: もし仮に「そのフェンダーは延長出来るがしかし左右され易くない」ということは間違いならば「それは関係深くない」ということは間違っていない fact10: 「なにかは束縛するけれど接しない」ということは間違っているなら支那学生でない fact11: 「もしも「延長出来るし左右され易い」ということは誤りならば関係深くない」物はある fact12: 「もし「再出発するがしかし選択し易くない」ということは成り立たないなら退縮である」物はある fact13: 「もしも「教科毎でかつ多食するということはない」ということは偽であるとすれば接しない」物はある fact14: もしも「そのフェンダーは延長出来るけれどそれは左右され易くない」ということは成り立たないとしたら関係深い fact15: 仮に「そのフェンダーは延長出来るしそれは左右され易い」ということは事実と異なるとすると「それは関係深くない」ということは真実だ fact16: 仮にそのフェンダーが延長出来ないとするとそれは関係深くない fact17: 「左右され易いとすると関係深くない」物はある fact18: 「もし「「フランス国民であるしさらに戻り易くない」ということは真実である」ということは成り立たないとしたら内弟子だということはない」ものはある fact19: 「二世帯住宅でないとすれば患者血清でない」ものはある
fact9 -> hypothesis;
fact9 -> 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$ = 
fact9 -> hypothesis; __PROVED__
事実1: 「「息苦しいけれどラブ・ストーリーでない」ということは誤りだとすると人身攻撃でない」物はある
事実2: 「もしも餓鬼っぽいが有名無実化しないとしたら揉み立てない」物はある
事実3: そのフェンダーが朗読文集だがしかしそれが宿泊代だということはないとするとそれは規定するということはない
事実4: もしもそのフェンダーが分かり難い一方で関係深くないとするとそれは機械作業でない
事実5: 「もし打ち易くないとしたら患者血清でない」ものはある
事実6: もしも「「なんらかのものは忍び踊りだがしかしそれは醸さない」ということは正しい」ということは間違っているなら色分けしない
事実7: もしあのショコラが左右され易いがしかし修築するということはないとするとそれは暗しない
事実8: 「拡大造林であるし投資グループでないとしたら綱渡りでない」物はある
事実9: もし仮に「そのフェンダーは延長出来るがしかし左右され易くない」ということは間違いならば「それは関係深くない」ということは間違っていない
事実10: 「なにかは束縛するけれど接しない」ということは間違っているなら支那学生でない
事実11: 「もしも「延長出来るし左右され易い」ということは誤りならば関係深くない」物はある
事実12: 「もし「再出発するがしかし選択し易くない」ということは成り立たないなら退縮である」物はある
事実13: 「もしも「教科毎でかつ多食するということはない」ということは偽であるとすれば接しない」物はある
事実14: もしも「そのフェンダーは延長出来るけれどそれは左右され易くない」ということは成り立たないとしたら関係深い
事実15: 仮に「そのフェンダーは延長出来るしそれは左右され易い」ということは事実と異なるとすると「それは関係深くない」ということは真実だ
事実16: 仮にそのフェンダーが延長出来ないとするとそれは関係深くない
事実17: 「左右され易いとすると関係深くない」物はある
事実18: 「もし「「フランス国民であるしさらに戻り易くない」ということは真実である」ということは成り立たないとしたら内弟子だということはない」ものはある
事実19: 「二世帯住宅でないとすれば患者血清でない」ものはある

仮説: 「仮に「延長出来るが左右され易くない」ということは偽ならば関係深くない」物はある
1. 事実9から、仮説が導かれる

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