あの公知事実は運動量保存だ
fact1: 「その交流戦は擁壁でなくて天台宗でない」ということは誤っている fact2: あのオーガズム期は苦しないかまたはそれは甚だしいかもしくは両方だ fact3: 「何かは開幕戦であるしさらに雄々しい」ということは誤っていればそれは雄々しかない fact4: もしとあるものが雄々しかないとすればそれは天台宗でなくてまた理屈っぽくない fact5: もし仮に何らかの物が甚だしいし苦しとすればドロペリドールでない fact6: もし仮にあの次世代カートは苦しということはないなら「あのオーガズム期は場数でないかもしくは苦しかどちらもである」ということは本当だ fact7: その交流戦が場数であるならあのオーガズム期はドロペリドールでないし甚だしくない fact8: 仮にあのオーガズム期が場数でないならばあの公知事実は運動量保存だ fact9: もしあの次世代カートは苦しないならば「あのオーガズム期は場数であるかもしくは苦し」ということは正しい fact10: 「この国有企業改革は開幕戦であるしその上それは雄々しい」ということは誤りだ fact11: もしもこの国有企業改革が天台宗でないし更に理屈っぽくないならば「その神役は天台宗だ」ということは間違っていない fact12: もしもあの次世代カートが運動量保存でないし苦しないとすればあの公知事実は運動量保存であるということはない fact13: もし仮に「その交流戦は擁壁でなくておまけに天台宗でない」ということは事実と異なるならばあの次世代カートはドロペリドールだ fact14: 仮にその交流戦が擁壁だとすればあの次世代カートはドロペリドールである fact15: 仮にあのオーガズム期は場数でないかまたは苦しかもしくは両方ともであるとすれば「あの公知事実は運動量保存だ」ということは確かだ fact16: もし「「天台宗な」ものはある」ということは事実であるとすると「この幸せ者は擁壁でない」ということは成り立つ fact17: あの次世代カートは甚だしい fact18: もしもあのオーガズム期が甚だしくないとしたらあの次世代カートは運動量保存だということはなくて苦しない fact19: あのオーガズム期は場数であるかもしくは苦し
void -> assump1: 以下のように仮定する。あの次世代カートは苦し; fact17 & assump1 -> int1: あの次世代カートは甚だしいし苦し; fact5 -> int2: あの次世代カートは甚だしいしかつ苦しとしたらそれはドロペリドールでない; int1 & int2 -> int3: 「あの次世代カートはドロペリドールである」ということは嘘である; fact1 & fact13 -> int4: あの次世代カートはドロペリドールだ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの次世代カートは苦しない; int6 & fact6 -> int7: 「あのオーガズム期は場数でないかあるいはそれは苦しかあるいはどちらもである」ということは成り立つ; int7 & fact15 -> hypothesis;
あの公知事実は運動量保存だということはない
fact21 -> int8: もしもこの国有企業改革は雄々しかないとしたら「それは天台宗でないし理屈っぽくない」ということは正しい; fact22 -> int9: もし仮に「この国有企業改革は開幕戦で加えてそれは雄々しい」ということは偽であるとしたらそれは雄々しかない; int9 & fact20 -> int10: この国有企業改革は雄々しかない; int8 & int10 -> int11: この国有企業改革は天台宗でないしおまけに理屈っぽくない; fact23 & int11 -> int12: その神役は天台宗だ; int12 -> int13: 「天台宗な」物はある; int13 & fact25 -> int14: この幸せ者は擁壁でない; int14 -> int15: 「擁壁でない」物はある;
$facts$ = fact1: 「その交流戦は擁壁でなくて天台宗でない」ということは誤っている fact2: あのオーガズム期は苦しないかまたはそれは甚だしいかもしくは両方だ fact3: 「何かは開幕戦であるしさらに雄々しい」ということは誤っていればそれは雄々しかない fact4: もしとあるものが雄々しかないとすればそれは天台宗でなくてまた理屈っぽくない fact5: もし仮に何らかの物が甚だしいし苦しとすればドロペリドールでない fact6: もし仮にあの次世代カートは苦しということはないなら「あのオーガズム期は場数でないかもしくは苦しかどちらもである」ということは本当だ fact7: その交流戦が場数であるならあのオーガズム期はドロペリドールでないし甚だしくない fact8: 仮にあのオーガズム期が場数でないならばあの公知事実は運動量保存だ fact9: もしあの次世代カートは苦しないならば「あのオーガズム期は場数であるかもしくは苦し」ということは正しい fact10: 「この国有企業改革は開幕戦であるしその上それは雄々しい」ということは誤りだ fact11: もしもこの国有企業改革が天台宗でないし更に理屈っぽくないならば「その神役は天台宗だ」ということは間違っていない fact12: もしもあの次世代カートが運動量保存でないし苦しないとすればあの公知事実は運動量保存であるということはない fact13: もし仮に「その交流戦は擁壁でなくておまけに天台宗でない」ということは事実と異なるならばあの次世代カートはドロペリドールだ fact14: 仮にその交流戦が擁壁だとすればあの次世代カートはドロペリドールである fact15: 仮にあのオーガズム期は場数でないかまたは苦しかもしくは両方ともであるとすれば「あの公知事実は運動量保存だ」ということは確かだ fact16: もし「「天台宗な」ものはある」ということは事実であるとすると「この幸せ者は擁壁でない」ということは成り立つ fact17: あの次世代カートは甚だしい fact18: もしもあのオーガズム期が甚だしくないとしたらあの次世代カートは運動量保存だということはなくて苦しない fact19: あのオーガズム期は場数であるかもしくは苦し ; $hypothesis$ = あの公知事実は運動量保存だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの次世代カートは苦し; fact17 & assump1 -> int1: あの次世代カートは甚だしいし苦し; fact5 -> int2: あの次世代カートは甚だしいしかつ苦しとしたらそれはドロペリドールでない; int1 & int2 -> int3: 「あの次世代カートはドロペリドールである」ということは嘘である; fact1 & fact13 -> int4: あの次世代カートはドロペリドールだ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの次世代カートは苦しない; int6 & fact6 -> int7: 「あのオーガズム期は場数でないかあるいはそれは苦しかあるいはどちらもである」ということは成り立つ; int7 & fact15 -> hypothesis; __PROVED__
事実1: 「その交流戦は擁壁でなくて天台宗でない」ということは誤っている
事実2: あのオーガズム期は苦しないかまたはそれは甚だしいかもしくは両方だ
事実3: 「何かは開幕戦であるしさらに雄々しい」ということは誤っていればそれは雄々しかない
事実4: もしとあるものが雄々しかないとすればそれは天台宗でなくてまた理屈っぽくない
事実5: もし仮に何らかの物が甚だしいし苦しとすればドロペリドールでない
事実6: もし仮にあの次世代カートは苦しということはないなら「あのオーガズム期は場数でないかもしくは苦しかどちらもである」ということは本当だ
事実7: その交流戦が場数であるならあのオーガズム期はドロペリドールでないし甚だしくない
事実8: 仮にあのオーガズム期が場数でないならばあの公知事実は運動量保存だ
事実9: もしあの次世代カートは苦しないならば「あのオーガズム期は場数であるかもしくは苦し」ということは正しい
事実10: 「この国有企業改革は開幕戦であるしその上それは雄々しい」ということは誤りだ
事実11: もしもこの国有企業改革が天台宗でないし更に理屈っぽくないならば「その神役は天台宗だ」ということは間違っていない
事実12: もしもあの次世代カートが運動量保存でないし苦しないとすればあの公知事実は運動量保存であるということはない
事実13: もし仮に「その交流戦は擁壁でなくておまけに天台宗でない」ということは事実と異なるならばあの次世代カートはドロペリドールだ
事実14: 仮にその交流戦が擁壁だとすればあの次世代カートはドロペリドールである
事実15: 仮にあのオーガズム期は場数でないかまたは苦しかもしくは両方ともであるとすれば「あの公知事実は運動量保存だ」ということは確かだ
事実16: もし「「天台宗な」ものはある」ということは事実であるとすると「この幸せ者は擁壁でない」ということは成り立つ
事実17: あの次世代カートは甚だしい
事実18: もしもあのオーガズム期が甚だしくないとしたらあの次世代カートは運動量保存だということはなくて苦しない
事実19: あのオーガズム期は場数であるかもしくは苦し

仮説: あの公知事実は運動量保存だ
1. 仮定1: 以下のように仮定する。あの次世代カートは苦し
2. 事実17と仮定1から、推論1: "あの次世代カートは甚だしいし苦し"が導かれる
3. 事実5から、推論2: "あの次世代カートは甚だしいしかつ苦しとしたらそれはドロペリドールでない"が導かれる
4. 推論1と推論2から、推論3: "「あの次世代カートはドロペリドールである」ということは嘘である"が導かれる
5. 事実1と事実13から、推論4: "あの次世代カートはドロペリドールだ"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの次世代カートは苦しない"が導かれる
8. 推論6と事実6から、推論7: "「あのオーガズム期は場数でないかあるいはそれは苦しかあるいはどちらもである」ということは成り立つ"が導かれる
9. 推論7と事実15から、仮説が導かれる

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