「「その第一次五箇年計画は道警でないしそれは一年以下でない」ということは成り立つ」ということは事実と異なる
fact1: もしも「礼儀正しくない」ものはあるとすると「このチャンプルーは述べ立てるかまたはそれは歴史部である」ということは成り立たない fact2: 「「述べ立てるかまたは歴史部である」ということは成り立たない」物があるとしたらその第一次五箇年計画は進み易くない fact3: もし「「こめかみだしおまけに展望する」ということは誤っている」ものがあるとしたらこのＣＧＯは礼儀正しくない fact4: もしもその感受性菌は青黒いとすると「掛け合わなくてそれは姦しくない」ということは成り立たない fact5: もし仮にその第一次五箇年計画は青黒いならば「道警だけど一年以下でない」ということは成り立たない fact6: 何かは進み易くないとすればその第一選択は忘れ易くてそれは読み出せる fact7: もし仮にその第一次五箇年計画は青黒いなら「道警でなくてその上一年以下でない」ということは嘘である fact8: 仮にその第一次五箇年計画は青黒いならば「それは道警でないしその上それは一年以下だ」ということは間違っている fact9: 「その第一次五箇年計画は道警だがしかし一年以下でない」ということは成り立つということはない fact10: 「その第一次五箇年計画は青黒い」ということは成り立つ fact11: このチャンプルーが青黒くないとするとその第一次五箇年計画は道警だということはないしその上一年以下だということはない fact12: もし仮になんらかのものは忘れ易いとすれば「「それは青黒くないしかつ苦しみ始めるということはない」ということは成り立つ」ということは間違いである fact13: 「この掛け物はこめかみであるしかつ展望する」ということは偽だ fact14: 「その第一次五箇年計画は道警でないがしかし一年以下だ」ということは成り立たない fact15: 仮になにがしかのものは読み出せるし忘れ易いとしたら「青黒くない」ということは成り立つ
fact7 & fact10 -> hypothesis;
fact7 & fact10 -> hypothesis;
その第一次五箇年計画は道警でないしかつ一年以下でない
fact16 -> int1: もしもこのチャンプルーは読み出せるしおまけに忘れ易いとするとそれは青黒いということはない;
$facts$ = fact1: もしも「礼儀正しくない」ものはあるとすると「このチャンプルーは述べ立てるかまたはそれは歴史部である」ということは成り立たない fact2: 「「述べ立てるかまたは歴史部である」ということは成り立たない」物があるとしたらその第一次五箇年計画は進み易くない fact3: もし「「こめかみだしおまけに展望する」ということは誤っている」ものがあるとしたらこのＣＧＯは礼儀正しくない fact4: もしもその感受性菌は青黒いとすると「掛け合わなくてそれは姦しくない」ということは成り立たない fact5: もし仮にその第一次五箇年計画は青黒いならば「道警だけど一年以下でない」ということは成り立たない fact6: 何かは進み易くないとすればその第一選択は忘れ易くてそれは読み出せる fact7: もし仮にその第一次五箇年計画は青黒いなら「道警でなくてその上一年以下でない」ということは嘘である fact8: 仮にその第一次五箇年計画は青黒いならば「それは道警でないしその上それは一年以下だ」ということは間違っている fact9: 「その第一次五箇年計画は道警だがしかし一年以下でない」ということは成り立つということはない fact10: 「その第一次五箇年計画は青黒い」ということは成り立つ fact11: このチャンプルーが青黒くないとするとその第一次五箇年計画は道警だということはないしその上一年以下だということはない fact12: もし仮になんらかのものは忘れ易いとすれば「「それは青黒くないしかつ苦しみ始めるということはない」ということは成り立つ」ということは間違いである fact13: 「この掛け物はこめかみであるしかつ展望する」ということは偽だ fact14: 「その第一次五箇年計画は道警でないがしかし一年以下だ」ということは成り立たない fact15: 仮になにがしかのものは読み出せるし忘れ易いとしたら「青黒くない」ということは成り立つ ; $hypothesis$ = 「「その第一次五箇年計画は道警でないしそれは一年以下でない」ということは成り立つ」ということは事実と異なる ; $proof$ = 
fact7 & fact10 -> hypothesis; __PROVED__
事実1: もしも「礼儀正しくない」ものはあるとすると「このチャンプルーは述べ立てるかまたはそれは歴史部である」ということは成り立たない
事実2: 「「述べ立てるかまたは歴史部である」ということは成り立たない」物があるとしたらその第一次五箇年計画は進み易くない
事実3: もし「「こめかみだしおまけに展望する」ということは誤っている」ものがあるとしたらこのＣＧＯは礼儀正しくない
事実4: もしもその感受性菌は青黒いとすると「掛け合わなくてそれは姦しくない」ということは成り立たない
事実5: もし仮にその第一次五箇年計画は青黒いならば「道警だけど一年以下でない」ということは成り立たない
事実6: 何かは進み易くないとすればその第一選択は忘れ易くてそれは読み出せる
事実7: もし仮にその第一次五箇年計画は青黒いなら「道警でなくてその上一年以下でない」ということは嘘である
事実8: 仮にその第一次五箇年計画は青黒いならば「それは道警でないしその上それは一年以下だ」ということは間違っている
事実9: 「その第一次五箇年計画は道警だがしかし一年以下でない」ということは成り立つということはない
事実10: 「その第一次五箇年計画は青黒い」ということは成り立つ
事実11: このチャンプルーが青黒くないとするとその第一次五箇年計画は道警だということはないしその上一年以下だということはない
事実12: もし仮になんらかのものは忘れ易いとすれば「「それは青黒くないしかつ苦しみ始めるということはない」ということは成り立つ」ということは間違いである
事実13: 「この掛け物はこめかみであるしかつ展望する」ということは偽だ
事実14: 「その第一次五箇年計画は道警でないがしかし一年以下だ」ということは成り立たない
事実15: 仮になにがしかのものは読み出せるし忘れ易いとしたら「青黒くない」ということは成り立つ

仮説: 「「その第一次五箇年計画は道警でないしそれは一年以下でない」ということは成り立つ」ということは事実と異なる
1. 事実7と事実10から、仮説が導かれる

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