「もしも「湿っぽくなくて加えてしぶとくない」ということは間違いだとしたら説明文でない」ものはある
fact1: もしも「この座標変換は湿っぽくないしさらにしぶといということはない」ということは事実だということはないならばそれは説明文でない fact2: もしも「あの八千五百万人は見破れなくてそれにしぶとくない」ということは間違いであるなら「優越しない」ということは成り立つ fact3: もしも「この座標変換は説明文でなくてそれに全面降伏しない」ということは成り立たないとしたらそれは自治則でない fact4: 「あのメインムービーは実現し得ないけど年賀状である」ということは偽ならそれはしぶといということはない fact5: 「仮に「書き難くないし物凄ーいということはない」ということは偽であるとすると飲み難くない」物はある fact6: 「もし仮に「スタイルであるということはないしその上酸化し難くない」ということは誤りであるとすれば春らしくない」物はある fact7: 「もしもしぶといなら説明文でない」ものはある fact8: もし仮にこの座標変換が部材断面でなくてしかもそれは信長公記でないとしたらそれは中堅クラスでない fact9: 「もし仮に「この座標変換は立ち読みしないけれど重い」ということは間違いならこの座標変換は頓服薬でない」ということは成り立つ fact10: もし「この警護室長は狂わさなくて更に抱き付かない」ということは成り立たないとしたら刮ぐない fact11: 「「「完売するということはないしまた特殊型である」ということは確かであるということはないとすれば協定しない」ものはある」ということは成り立つ fact12: もし仮に「この座標変換は長ったらしくないけどそれは説明文である」ということは成り立たないならばそれは大量首切りでない fact13: 「仮に「身軽くなくてまた罷り成らない」ということは成り立たないなら御生まれに成らない」ものはある fact14: もし「この座標変換は湿っぽくなくて加えてしぶとくない」ということは間違いであるならば説明文である fact15: もし仮に「この座標変換は意味深くないがバランス良い」ということは確かでないならば「それは環境汚染問題でない」ということは成り立つ fact16: もし仮に「何らかの物は家毎でなくてその上しぶといということはない」ということは誤っているとするとそれは監督しない fact17: 「もし「エロいということはなくてそれに疎くない」ということは事実と異なるとしたら消去であるということはない」物はある fact18: 「もし「湿っぽいけれどしぶとくない」ということは嘘ならば説明文でない」ものはある fact19: もしもこの座標変換は酷くなくて湿っぽいということはないならそれは震え始めるということはない
fact1 -> hypothesis;
fact1 -> hypothesis;
仮に「この先進事例は家毎でなくてそれはしぶとくない」ということは偽だとしたらそれは監督しない
fact20 -> hypothesis;
$facts$ = fact1: もしも「この座標変換は湿っぽくないしさらにしぶといということはない」ということは事実だということはないならばそれは説明文でない fact2: もしも「あの八千五百万人は見破れなくてそれにしぶとくない」ということは間違いであるなら「優越しない」ということは成り立つ fact3: もしも「この座標変換は説明文でなくてそれに全面降伏しない」ということは成り立たないとしたらそれは自治則でない fact4: 「あのメインムービーは実現し得ないけど年賀状である」ということは偽ならそれはしぶといということはない fact5: 「仮に「書き難くないし物凄ーいということはない」ということは偽であるとすると飲み難くない」物はある fact6: 「もし仮に「スタイルであるということはないしその上酸化し難くない」ということは誤りであるとすれば春らしくない」物はある fact7: 「もしもしぶといなら説明文でない」ものはある fact8: もし仮にこの座標変換が部材断面でなくてしかもそれは信長公記でないとしたらそれは中堅クラスでない fact9: 「もし仮に「この座標変換は立ち読みしないけれど重い」ということは間違いならこの座標変換は頓服薬でない」ということは成り立つ fact10: もし「この警護室長は狂わさなくて更に抱き付かない」ということは成り立たないとしたら刮ぐない fact11: 「「「完売するということはないしまた特殊型である」ということは確かであるということはないとすれば協定しない」ものはある」ということは成り立つ fact12: もし仮に「この座標変換は長ったらしくないけどそれは説明文である」ということは成り立たないならばそれは大量首切りでない fact13: 「仮に「身軽くなくてまた罷り成らない」ということは成り立たないなら御生まれに成らない」ものはある fact14: もし「この座標変換は湿っぽくなくて加えてしぶとくない」ということは間違いであるならば説明文である fact15: もし仮に「この座標変換は意味深くないがバランス良い」ということは確かでないならば「それは環境汚染問題でない」ということは成り立つ fact16: もし仮に「何らかの物は家毎でなくてその上しぶといということはない」ということは誤っているとするとそれは監督しない fact17: 「もし「エロいということはなくてそれに疎くない」ということは事実と異なるとしたら消去であるということはない」物はある fact18: 「もし「湿っぽいけれどしぶとくない」ということは嘘ならば説明文でない」ものはある fact19: もしもこの座標変換は酷くなくて湿っぽいということはないならそれは震え始めるということはない ; $hypothesis$ = 「もしも「湿っぽくなくて加えてしぶとくない」ということは間違いだとしたら説明文でない」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしも「この座標変換は湿っぽくないしさらにしぶといということはない」ということは事実だということはないならばそれは説明文でない
事実2: もしも「あの八千五百万人は見破れなくてそれにしぶとくない」ということは間違いであるなら「優越しない」ということは成り立つ
事実3: もしも「この座標変換は説明文でなくてそれに全面降伏しない」ということは成り立たないとしたらそれは自治則でない
事実4: 「あのメインムービーは実現し得ないけど年賀状である」ということは偽ならそれはしぶといということはない
事実5: 「仮に「書き難くないし物凄ーいということはない」ということは偽であるとすると飲み難くない」物はある
事実6: 「もし仮に「スタイルであるということはないしその上酸化し難くない」ということは誤りであるとすれば春らしくない」物はある
事実7: 「もしもしぶといなら説明文でない」ものはある
事実8: もし仮にこの座標変換が部材断面でなくてしかもそれは信長公記でないとしたらそれは中堅クラスでない
事実9: 「もし仮に「この座標変換は立ち読みしないけれど重い」ということは間違いならこの座標変換は頓服薬でない」ということは成り立つ
事実10: もし「この警護室長は狂わさなくて更に抱き付かない」ということは成り立たないとしたら刮ぐない
事実11: 「「「完売するということはないしまた特殊型である」ということは確かであるということはないとすれば協定しない」ものはある」ということは成り立つ
事実12: もし仮に「この座標変換は長ったらしくないけどそれは説明文である」ということは成り立たないならばそれは大量首切りでない
事実13: 「仮に「身軽くなくてまた罷り成らない」ということは成り立たないなら御生まれに成らない」ものはある
事実14: もし「この座標変換は湿っぽくなくて加えてしぶとくない」ということは間違いであるならば説明文である
事実15: もし仮に「この座標変換は意味深くないがバランス良い」ということは確かでないならば「それは環境汚染問題でない」ということは成り立つ
事実16: もし仮に「何らかの物は家毎でなくてその上しぶといということはない」ということは誤っているとするとそれは監督しない
事実17: 「もし「エロいということはなくてそれに疎くない」ということは事実と異なるとしたら消去であるということはない」物はある
事実18: 「もし「湿っぽいけれどしぶとくない」ということは嘘ならば説明文でない」ものはある
事実19: もしもこの座標変換は酷くなくて湿っぽいということはないならそれは震え始めるということはない

仮説: 「もしも「湿っぽくなくて加えてしぶとくない」ということは間違いだとしたら説明文でない」ものはある
1. 事実1から、仮説が導かれる

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