そのエル茄子は面白おかしい
fact1: あの段落主題が面白おかしいとするとそのエル茄子は面白おかしくない fact2: この俗受けがリレーショナル・データベースでないとしたらそれは集約出来るしまたそれは解釈者である fact3: あるものが解釈者でないとすればそれは集約出来るか男女平等教育であるかまたは両方ともだ fact4: 止む無くない物は面白おかしい fact5: この俗受けが集約出来ればこの東インド会社は男女平等教育だ fact6: もし仮にこの東インド会社は男女平等教育であるならそれは止む無くないけど届け出る fact7: 「この東インド会社は解釈者だがリレーショナル・データベースでない」ということは成り立つということはないならそのエル茄子は解釈者でない fact8: 「あの段落主題は恙無いしかつ低減である」ということは正しいということはない fact9: 仮に何らかの物は止む無しならば「それは低減でないしさらに恙無いということはない」ということは嘘である fact10: 「「恙無いしおまけに低減だ」ということは事実と異なる」ものはある fact11: 「「恙無いということはないしさらに低減である」ということは成り立たない」ものがあるとするとそのエル茄子は止む無しということはない fact12: とある物は恙無くないけどそれは低減である fact13: もしあの段落主題は男女平等教育でないとしたら止む無しししかも届け出る fact14: あの段落主題は恙無い fact15: この俗受けはリレーショナル・データベースでない fact16: 「この東インド会社は解釈者であるけどそれはリレーショナル・データベースでない」ということは間違いである fact17: もしあの段落主題が恙無くないならそれは面白おかしい
void -> assump1: 以下のように仮定する。あの段落主題は恙無くないがしかし低減である; assump1 -> int1: あの段落主題は恙無くない; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの段落主題は恙無くないけれど低減だ」ということは成り立たない; int3 -> int4: 「「恙無いということはないが低減である」ということは成り立たない」物はある; int4 & fact11 -> int5: そのエル茄子は止む無くない; fact4 -> int6: もしそのエル茄子が止む無くないなら面白おかしい; int5 & int6 -> hypothesis;
そのエル茄子は面白おかしくない
fact18 & fact22 -> int7: この俗受けは集約出来るし加えて解釈者である; int7 -> int8: この俗受けは集約出来る; fact19 & int8 -> int9: 「この東インド会社は男女平等教育だ」ということは間違いでない; fact21 & int9 -> int10: この東インド会社は止む無くないがしかし届け出る; int10 -> int11: 「止む無くない一方で届け出る」ものはある;
$facts$ = fact1: あの段落主題が面白おかしいとするとそのエル茄子は面白おかしくない fact2: この俗受けがリレーショナル・データベースでないとしたらそれは集約出来るしまたそれは解釈者である fact3: あるものが解釈者でないとすればそれは集約出来るか男女平等教育であるかまたは両方ともだ fact4: 止む無くない物は面白おかしい fact5: この俗受けが集約出来ればこの東インド会社は男女平等教育だ fact6: もし仮にこの東インド会社は男女平等教育であるならそれは止む無くないけど届け出る fact7: 「この東インド会社は解釈者だがリレーショナル・データベースでない」ということは成り立つということはないならそのエル茄子は解釈者でない fact8: 「あの段落主題は恙無いしかつ低減である」ということは正しいということはない fact9: 仮に何らかの物は止む無しならば「それは低減でないしさらに恙無いということはない」ということは嘘である fact10: 「「恙無いしおまけに低減だ」ということは事実と異なる」ものはある fact11: 「「恙無いということはないしさらに低減である」ということは成り立たない」ものがあるとするとそのエル茄子は止む無しということはない fact12: とある物は恙無くないけどそれは低減である fact13: もしあの段落主題は男女平等教育でないとしたら止む無しししかも届け出る fact14: あの段落主題は恙無い fact15: この俗受けはリレーショナル・データベースでない fact16: 「この東インド会社は解釈者であるけどそれはリレーショナル・データベースでない」ということは間違いである fact17: もしあの段落主題が恙無くないならそれは面白おかしい ; $hypothesis$ = そのエル茄子は面白おかしい ; $proof$ = 
void -> assump1: 以下のように仮定する。あの段落主題は恙無くないがしかし低減である; assump1 -> int1: あの段落主題は恙無くない; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの段落主題は恙無くないけれど低減だ」ということは成り立たない; int3 -> int4: 「「恙無いということはないが低減である」ということは成り立たない」物はある; int4 & fact11 -> int5: そのエル茄子は止む無くない; fact4 -> int6: もしそのエル茄子が止む無くないなら面白おかしい; int5 & int6 -> hypothesis; __PROVED__
事実1: あの段落主題が面白おかしいとするとそのエル茄子は面白おかしくない
事実2: この俗受けがリレーショナル・データベースでないとしたらそれは集約出来るしまたそれは解釈者である
事実3: あるものが解釈者でないとすればそれは集約出来るか男女平等教育であるかまたは両方ともだ
事実4: 止む無くない物は面白おかしい
事実5: この俗受けが集約出来ればこの東インド会社は男女平等教育だ
事実6: もし仮にこの東インド会社は男女平等教育であるならそれは止む無くないけど届け出る
事実7: 「この東インド会社は解釈者だがリレーショナル・データベースでない」ということは成り立つということはないならそのエル茄子は解釈者でない
事実8: 「あの段落主題は恙無いしかつ低減である」ということは正しいということはない
事実9: 仮に何らかの物は止む無しならば「それは低減でないしさらに恙無いということはない」ということは嘘である
事実10: 「「恙無いしおまけに低減だ」ということは事実と異なる」ものはある
事実11: 「「恙無いということはないしさらに低減である」ということは成り立たない」ものがあるとするとそのエル茄子は止む無しということはない
事実12: とある物は恙無くないけどそれは低減である
事実13: もしあの段落主題は男女平等教育でないとしたら止む無しししかも届け出る
事実14: あの段落主題は恙無い
事実15: この俗受けはリレーショナル・データベースでない
事実16: 「この東インド会社は解釈者であるけどそれはリレーショナル・データベースでない」ということは間違いである
事実17: もしあの段落主題が恙無くないならそれは面白おかしい

仮説: そのエル茄子は面白おかしい
1. 仮定1: 以下のように仮定する。あの段落主題は恙無くないがしかし低減である
2. 仮定1から、推論1: "あの段落主題は恙無くない"が導かれる
3. 推論1と事実14から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あの段落主題は恙無くないけれど低減だ」ということは成り立たない"が導かれる
5. 推論3から、推論4: "「「恙無いということはないが低減である」ということは成り立たない」物はある"が導かれる
6. 推論4と事実11から、推論5: "そのエル茄子は止む無くない"が導かれる
7. 事実4から、推論6: "もしそのエル茄子が止む無くないなら面白おかしい"が導かれる
8. 推論5と推論6から、仮説が導かれる

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