「「出産祝いでなくてアクチュエータである」ということは間違いである」物はある
fact1: もし仮にあの販売促進費は停留場であるとしたら「それは青臭くなくてその上両足首だ」ということは成り立たない fact2: もしもこの香港人は児童福祉法だとすれば「投票結果でなくてまたそれは矧ぐ」ということは間違いだ fact3: あの販売促進費は両足首である fact4: その半はアクチュエータである fact5: 「出産祝いでない一方でアクチュエータである」ものはある fact6: もしあの販売促進費は恙無いなら「嵩張るということはなくてしかもそれは出産祝いだ」ということは偽だ fact7: もしもなにかは間断無くないなら「持ち金でなくて両足首だということはない」ということは間違っている fact8: あの販売促進費は苦しい fact9: もし仮にあの販売促進費は清潔感ならば「それは杆状体であるし汚れ易い」ということは成り立つということはない fact10: もしも「あの販売促進費は持ち金でなくてそれは両足首でない」ということは誤りだとしたら「あのＳＯＸはアクチュエータだ」ということは成り立つ fact11: 「「出産祝いであるしさらにアクチュエータだ」ということは事実と異なる」物はある fact12: あの販売促進費は両足首であるとすると「出産祝いであるということはないけれどアクチュエータである」ということは事実でない fact13: 「あの販売促進費は出産祝いでしかもアクチュエータである」ということは成り立つということはない fact14: あるものは出産祝いでないけどそれは両足首である fact15: 「青臭くなくてノーブランドである」物はある fact16: あの社会教育活動は両足首ならば「事業ポートフォリオ戦略でないけれど試飲する」ということは成り立たない fact17: もし「あの販売促進費は両足首だ」ということは本当であるとしたら「それが出産祝いだしまたそれはアクチュエータである」ということは事実と異なる
fact12 & fact3 -> int1: 「あの販売促進費は出産祝いでない一方でアクチュエータだ」ということは間違いだ; int1 -> hypothesis;
あのＳＯＸはアクチュエータだ
fact19 -> int2: もし仮にあの販売促進費は間断無くないとすると「それは持ち金でないし加えて両足首でない」ということは嘘である;
$facts$ = fact1: もし仮にあの販売促進費は停留場であるとしたら「それは青臭くなくてその上両足首だ」ということは成り立たない fact2: もしもこの香港人は児童福祉法だとすれば「投票結果でなくてまたそれは矧ぐ」ということは間違いだ fact3: あの販売促進費は両足首である fact4: その半はアクチュエータである fact5: 「出産祝いでない一方でアクチュエータである」ものはある fact6: もしあの販売促進費は恙無いなら「嵩張るということはなくてしかもそれは出産祝いだ」ということは偽だ fact7: もしもなにかは間断無くないなら「持ち金でなくて両足首だということはない」ということは間違っている fact8: あの販売促進費は苦しい fact9: もし仮にあの販売促進費は清潔感ならば「それは杆状体であるし汚れ易い」ということは成り立つということはない fact10: もしも「あの販売促進費は持ち金でなくてそれは両足首でない」ということは誤りだとしたら「あのＳＯＸはアクチュエータだ」ということは成り立つ fact11: 「「出産祝いであるしさらにアクチュエータだ」ということは事実と異なる」物はある fact12: あの販売促進費は両足首であるとすると「出産祝いであるということはないけれどアクチュエータである」ということは事実でない fact13: 「あの販売促進費は出産祝いでしかもアクチュエータである」ということは成り立つということはない fact14: あるものは出産祝いでないけどそれは両足首である fact15: 「青臭くなくてノーブランドである」物はある fact16: あの社会教育活動は両足首ならば「事業ポートフォリオ戦略でないけれど試飲する」ということは成り立たない fact17: もし「あの販売促進費は両足首だ」ということは本当であるとしたら「それが出産祝いだしまたそれはアクチュエータである」ということは事実と異なる ; $hypothesis$ = 「「出産祝いでなくてアクチュエータである」ということは間違いである」物はある ; $proof$ = 
fact12 & fact3 -> int1: 「あの販売促進費は出産祝いでない一方でアクチュエータだ」ということは間違いだ; int1 -> hypothesis; __PROVED__
事実1: もし仮にあの販売促進費は停留場であるとしたら「それは青臭くなくてその上両足首だ」ということは成り立たない
事実2: もしもこの香港人は児童福祉法だとすれば「投票結果でなくてまたそれは矧ぐ」ということは間違いだ
事実3: あの販売促進費は両足首である
事実4: その半はアクチュエータである
事実5: 「出産祝いでない一方でアクチュエータである」ものはある
事実6: もしあの販売促進費は恙無いなら「嵩張るということはなくてしかもそれは出産祝いだ」ということは偽だ
事実7: もしもなにかは間断無くないなら「持ち金でなくて両足首だということはない」ということは間違っている
事実8: あの販売促進費は苦しい
事実9: もし仮にあの販売促進費は清潔感ならば「それは杆状体であるし汚れ易い」ということは成り立つということはない
事実10: もしも「あの販売促進費は持ち金でなくてそれは両足首でない」ということは誤りだとしたら「あのＳＯＸはアクチュエータだ」ということは成り立つ
事実11: 「「出産祝いであるしさらにアクチュエータだ」ということは事実と異なる」物はある
事実12: あの販売促進費は両足首であるとすると「出産祝いであるということはないけれどアクチュエータである」ということは事実でない
事実13: 「あの販売促進費は出産祝いでしかもアクチュエータである」ということは成り立つということはない
事実14: あるものは出産祝いでないけどそれは両足首である
事実15: 「青臭くなくてノーブランドである」物はある
事実16: あの社会教育活動は両足首ならば「事業ポートフォリオ戦略でないけれど試飲する」ということは成り立たない
事実17: もし「あの販売促進費は両足首だ」ということは本当であるとしたら「それが出産祝いだしまたそれはアクチュエータである」ということは事実と異なる

仮説: 「「出産祝いでなくてアクチュエータである」ということは間違いである」物はある
1. 事実12と事実3から、推論1: "「あの販売促進費は出産祝いでない一方でアクチュエータだ」ということは間違いだ"が導かれる
2. 推論1から、仮説が導かれる

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