その一言はほくしその上三年連続である
fact1: もし仮に「何らかの物は帰すけどそれは経済発展でない」ということは間違っているとしたら卑しい fact2: 「あの害悪がＰＨＤでないならあの害悪は奴等でない」ということは誤りでない fact3: あの害悪はＰＨＤだ fact4: あの害悪は奴等であるかもしくはそれはむさい fact5: もしもあの害悪が体重増加でないけどＰＨＤだとするとその一言はほく fact6: もしもあの楽長は卑しいとしたら「その協奏は想像し易くないけど調べ易い」ということは間違っている fact7: もしあの社会民主主義が奴等であるとするとあの害悪はむさい fact8: もし「その協奏は想像し易くない一方で調べ易い」ということは事実と異なるとすればあの社会民主主義は律儀であるということはない fact9: もしもなにがしかの物は律儀であるということはないならばそれは奴等である fact10: もし「律儀だということはない」ものがあるならばあの害悪は三年連続であるしその上それはほく fact11: その協奏は卑しいということはない fact12: もしも「あの社会民主主義は律儀であるがしかし調べ易くない」ということは成り立たないとするとその一言は律儀でない fact13: 「あの害悪は奴等でないかもしくはむさいかどちらもである」ということは誤りである fact14: 仮にあの害悪はほくとすれば「その首位は奴等でなくてその上むさくない」ということは事実と異なる fact15: 「あの害悪は体重増加でないけどＰＨＤだ」ということは誤りだとするとそれは奴等でない fact16: その一言は三年連続である fact17: 卑しくない物は想像し易くない fact18: ある物は想像し易くないとすれば「あの社会民主主義は律儀だけれど調べ易くない」ということは間違いである
void -> assump1: 以下のように仮定する。「あの害悪は体重増加でない一方でＰＨＤである」ということは嘘である; fact15 & assump1 -> int1: あの害悪は奴等でない; int1 -> int2: あの害悪は奴等でないかもしくはそれはむさいかもしくは両方ともである; int2 & fact13 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの害悪は体重増加でないがそれはＰＨＤだ; int4 & fact5 -> int5: その一言はほく; int5 & fact16 -> hypothesis;
「その一言はほくし三年連続である」ということは本当でない
fact20 -> int6: あの社会民主主義は律儀でないとしたらそれは奴等だ; fact22 -> int7: もしも「あの楽長は帰す一方で経済発展でない」ということは成り立たないとしたらそれは卑しい;
$facts$ = fact1: もし仮に「何らかの物は帰すけどそれは経済発展でない」ということは間違っているとしたら卑しい fact2: 「あの害悪がＰＨＤでないならあの害悪は奴等でない」ということは誤りでない fact3: あの害悪はＰＨＤだ fact4: あの害悪は奴等であるかもしくはそれはむさい fact5: もしもあの害悪が体重増加でないけどＰＨＤだとするとその一言はほく fact6: もしもあの楽長は卑しいとしたら「その協奏は想像し易くないけど調べ易い」ということは間違っている fact7: もしあの社会民主主義が奴等であるとするとあの害悪はむさい fact8: もし「その協奏は想像し易くない一方で調べ易い」ということは事実と異なるとすればあの社会民主主義は律儀であるということはない fact9: もしもなにがしかの物は律儀であるということはないならばそれは奴等である fact10: もし「律儀だということはない」ものがあるならばあの害悪は三年連続であるしその上それはほく fact11: その協奏は卑しいということはない fact12: もしも「あの社会民主主義は律儀であるがしかし調べ易くない」ということは成り立たないとするとその一言は律儀でない fact13: 「あの害悪は奴等でないかもしくはむさいかどちらもである」ということは誤りである fact14: 仮にあの害悪はほくとすれば「その首位は奴等でなくてその上むさくない」ということは事実と異なる fact15: 「あの害悪は体重増加でないけどＰＨＤだ」ということは誤りだとするとそれは奴等でない fact16: その一言は三年連続である fact17: 卑しくない物は想像し易くない fact18: ある物は想像し易くないとすれば「あの社会民主主義は律儀だけれど調べ易くない」ということは間違いである ; $hypothesis$ = その一言はほくしその上三年連続である ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの害悪は体重増加でない一方でＰＨＤである」ということは嘘である; fact15 & assump1 -> int1: あの害悪は奴等でない; int1 -> int2: あの害悪は奴等でないかもしくはそれはむさいかもしくは両方ともである; int2 & fact13 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの害悪は体重増加でないがそれはＰＨＤだ; int4 & fact5 -> int5: その一言はほく; int5 & fact16 -> hypothesis; __PROVED__
事実1: もし仮に「何らかの物は帰すけどそれは経済発展でない」ということは間違っているとしたら卑しい
事実2: 「あの害悪がＰＨＤでないならあの害悪は奴等でない」ということは誤りでない
事実3: あの害悪はＰＨＤだ
事実4: あの害悪は奴等であるかもしくはそれはむさい
事実5: もしもあの害悪が体重増加でないけどＰＨＤだとするとその一言はほく
事実6: もしもあの楽長は卑しいとしたら「その協奏は想像し易くないけど調べ易い」ということは間違っている
事実7: もしあの社会民主主義が奴等であるとするとあの害悪はむさい
事実8: もし「その協奏は想像し易くない一方で調べ易い」ということは事実と異なるとすればあの社会民主主義は律儀であるということはない
事実9: もしもなにがしかの物は律儀であるということはないならばそれは奴等である
事実10: もし「律儀だということはない」ものがあるならばあの害悪は三年連続であるしその上それはほく
事実11: その協奏は卑しいということはない
事実12: もしも「あの社会民主主義は律儀であるがしかし調べ易くない」ということは成り立たないとするとその一言は律儀でない
事実13: 「あの害悪は奴等でないかもしくはむさいかどちらもである」ということは誤りである
事実14: 仮にあの害悪はほくとすれば「その首位は奴等でなくてその上むさくない」ということは事実と異なる
事実15: 「あの害悪は体重増加でないけどＰＨＤだ」ということは誤りだとするとそれは奴等でない
事実16: その一言は三年連続である
事実17: 卑しくない物は想像し易くない
事実18: ある物は想像し易くないとすれば「あの社会民主主義は律儀だけれど調べ易くない」ということは間違いである

仮説: その一言はほくしその上三年連続である
1. 仮定1: 以下のように仮定する。「あの害悪は体重増加でない一方でＰＨＤである」ということは嘘である
2. 事実15と仮定1から、推論1: "あの害悪は奴等でない"が導かれる
3. 推論1から、推論2: "あの害悪は奴等でないかもしくはそれはむさいかもしくは両方ともである"が導かれる
4. 推論2と事実13から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの害悪は体重増加でないがそれはＰＨＤだ"が導かれる
6. 推論4と事実5から、推論5: "その一言はほく"が導かれる
7. 推論5と事実16から、仮説が導かれる

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