もし仮にこの水炊きは問題系だとすれば「それはＰＡＲＩＳでなくてその上社会空間でない」ということは事実と異なる
fact1: もしこの水炊きは口縁ならば「社会空間であるということはないし下生えでない」ということは成り立たない fact2: なにかは礼儀正しいならば「投げ上げなくてまた燻らない」ということは成り立たない fact3: 問題系はＰＡＲＩＳだということはなくてしかも社会空間であるということはない fact4: もしこの水炊きは媚び諂うとすれば「それは山間でないしまた社会空間でない」ということは成り立たない fact5: 「何らかのものは地下鉄ディストリクト線である」ということは成り立つなら「家庭児童相談室でないしさらにそれは歩き難い」ということは成り立つということはない fact6: この水炊きが問題系だとしたらそれはＰＡＲＩＳでないしまたそれは社会空間でない fact7: もし何かは膝枕であるなら「それは少なくないし送り付けるということはない」ということは成り立たない fact8: もしもこの水炊きは問題系であるなら「ＰＡＲＩＳだが社会空間でない」ということは間違いだ fact9: 何かは問題系だとすれば「それはＰＡＲＩＳであるということはないし社会空間である」ということは誤りだ fact10: 仮にとあるものは謎めくなら「それは送り付けなくて更に頼もしくない」ということは偽である fact11: もしその背凭れはＰＡＲＩＳだとしたら「定量しなくてかつそれは伝え難くない」ということは成り立たない fact12: もし仮にこの地番は被面接者なら「それは女皇でなくてまたそれはカールしない」ということは確かでない fact13: 「この水炊きは問題系である」ということは成り立つなら「それはＰＡＲＩＳであるということはないが社会空間である」ということは成り立たない fact14: なんらかの物が突き飛ばすとすればそれは心打たないし再結合するということはない fact15: 仮に何かは掘り尽くせば「特別借り入れ金でなくてしかもそれは配線しない」ということは正しくない fact16: もしこの水炊きは多しならば「カールしなくてかつ社会空間でない」ということは誤っている fact17: ある物は力強いなら「それは山間でなくて加えてそれは木目細かくない」ということは偽だ fact18: 何かは区分所有なら「見掛けるということはなくておまけにみみっちくない」ということは成り立たない fact19: 仮にあるものは問題系ならば「ＰＡＲＩＳだが社会空間でない」ということは正しいということはない fact20: もしもあのテンプレート変数は社会空間だとしたら「それは再結合しなくてそれはカリビアンでない」ということは間違いである fact21: もしも「なんらかの物は問題系だ」ということは事実と異なるということはないなら「ＰＡＲＩＳでないしさらにそれは社会空間でない」ということは偽だ
fact21 -> hypothesis;
fact21 -> hypothesis;
$facts$ = fact1: もしこの水炊きは口縁ならば「社会空間であるということはないし下生えでない」ということは成り立たない fact2: なにかは礼儀正しいならば「投げ上げなくてまた燻らない」ということは成り立たない fact3: 問題系はＰＡＲＩＳだということはなくてしかも社会空間であるということはない fact4: もしこの水炊きは媚び諂うとすれば「それは山間でないしまた社会空間でない」ということは成り立たない fact5: 「何らかのものは地下鉄ディストリクト線である」ということは成り立つなら「家庭児童相談室でないしさらにそれは歩き難い」ということは成り立つということはない fact6: この水炊きが問題系だとしたらそれはＰＡＲＩＳでないしまたそれは社会空間でない fact7: もし何かは膝枕であるなら「それは少なくないし送り付けるということはない」ということは成り立たない fact8: もしもこの水炊きは問題系であるなら「ＰＡＲＩＳだが社会空間でない」ということは間違いだ fact9: 何かは問題系だとすれば「それはＰＡＲＩＳであるということはないし社会空間である」ということは誤りだ fact10: 仮にとあるものは謎めくなら「それは送り付けなくて更に頼もしくない」ということは偽である fact11: もしその背凭れはＰＡＲＩＳだとしたら「定量しなくてかつそれは伝え難くない」ということは成り立たない fact12: もし仮にこの地番は被面接者なら「それは女皇でなくてまたそれはカールしない」ということは確かでない fact13: 「この水炊きは問題系である」ということは成り立つなら「それはＰＡＲＩＳであるということはないが社会空間である」ということは成り立たない fact14: なんらかの物が突き飛ばすとすればそれは心打たないし再結合するということはない fact15: 仮に何かは掘り尽くせば「特別借り入れ金でなくてしかもそれは配線しない」ということは正しくない fact16: もしこの水炊きは多しならば「カールしなくてかつ社会空間でない」ということは誤っている fact17: ある物は力強いなら「それは山間でなくて加えてそれは木目細かくない」ということは偽だ fact18: 何かは区分所有なら「見掛けるということはなくておまけにみみっちくない」ということは成り立たない fact19: 仮にあるものは問題系ならば「ＰＡＲＩＳだが社会空間でない」ということは正しいということはない fact20: もしもあのテンプレート変数は社会空間だとしたら「それは再結合しなくてそれはカリビアンでない」ということは間違いである fact21: もしも「なんらかの物は問題系だ」ということは事実と異なるということはないなら「ＰＡＲＩＳでないしさらにそれは社会空間でない」ということは偽だ ; $hypothesis$ = もし仮にこの水炊きは問題系だとすれば「それはＰＡＲＩＳでなくてその上社会空間でない」ということは事実と異なる ; $proof$ = 
fact21 -> hypothesis; __PROVED__
事実1: もしこの水炊きは口縁ならば「社会空間であるということはないし下生えでない」ということは成り立たない
事実2: なにかは礼儀正しいならば「投げ上げなくてまた燻らない」ということは成り立たない
事実3: 問題系はＰＡＲＩＳだということはなくてしかも社会空間であるということはない
事実4: もしこの水炊きは媚び諂うとすれば「それは山間でないしまた社会空間でない」ということは成り立たない
事実5: 「何らかのものは地下鉄ディストリクト線である」ということは成り立つなら「家庭児童相談室でないしさらにそれは歩き難い」ということは成り立つということはない
事実6: この水炊きが問題系だとしたらそれはＰＡＲＩＳでないしまたそれは社会空間でない
事実7: もし何かは膝枕であるなら「それは少なくないし送り付けるということはない」ということは成り立たない
事実8: もしもこの水炊きは問題系であるなら「ＰＡＲＩＳだが社会空間でない」ということは間違いだ
事実9: 何かは問題系だとすれば「それはＰＡＲＩＳであるということはないし社会空間である」ということは誤りだ
事実10: 仮にとあるものは謎めくなら「それは送り付けなくて更に頼もしくない」ということは偽である
事実11: もしその背凭れはＰＡＲＩＳだとしたら「定量しなくてかつそれは伝え難くない」ということは成り立たない
事実12: もし仮にこの地番は被面接者なら「それは女皇でなくてまたそれはカールしない」ということは確かでない
事実13: 「この水炊きは問題系である」ということは成り立つなら「それはＰＡＲＩＳであるということはないが社会空間である」ということは成り立たない
事実14: なんらかの物が突き飛ばすとすればそれは心打たないし再結合するということはない
事実15: 仮に何かは掘り尽くせば「特別借り入れ金でなくてしかもそれは配線しない」ということは正しくない
事実16: もしこの水炊きは多しならば「カールしなくてかつ社会空間でない」ということは誤っている
事実17: ある物は力強いなら「それは山間でなくて加えてそれは木目細かくない」ということは偽だ
事実18: 何かは区分所有なら「見掛けるということはなくておまけにみみっちくない」ということは成り立たない
事実19: 仮にあるものは問題系ならば「ＰＡＲＩＳだが社会空間でない」ということは正しいということはない
事実20: もしもあのテンプレート変数は社会空間だとしたら「それは再結合しなくてそれはカリビアンでない」ということは間違いである
事実21: もしも「なんらかの物は問題系だ」ということは事実と異なるということはないなら「ＰＡＲＩＳでないしさらにそれは社会空間でない」ということは偽だ

仮説: もし仮にこの水炊きは問題系だとすれば「それはＰＡＲＩＳでなくてその上社会空間でない」ということは事実と異なる
1. 事実21から、仮説が導かれる

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