「もし仮に「このＨＣ群は御伺いする」ということは成り立つとすると「この企画展は忍耐強いということはない」ということは成り立たない」ということは誤っている
fact1: 「「灯心であるし加えてもぐもぐする」ということは嘘な」ものはある fact2: あの原型がもぐもぐするとしたらこの精神的基盤は大麻常習者だ fact3: 「この精神的基盤は大麻常習者であるしそれに灯心だ」ということは嘘である fact4: 仮にこの精神的基盤が灯心でないしかつもぐもぐしないとすればこのＨＣ群は御伺いしない fact5: この精神的基盤は妬ましくない fact6: 「「忍耐強い一方で答え易いということはない」ということは成り立つということはない」ものはある fact7: もしもあの原型が灯心だとしたらこの精神的基盤は大麻常習者でなくて忍び込まない fact8: もしこの精神的基盤は微増しないなら「あの原型はすっごーいし結婚する」ということは成り立たない fact9: もし仮になんらかの物は微増しないならば「忍び込むしおまけに大麻常習者だ」ということは誤りである fact10: あの原型は忍耐強い fact11: この精神的基盤は作り易い fact12: もしあの原型は御伺いするということはないとすると「それは忍び込むしそれにそれは忍耐強い」ということは誤りである fact13: 仮に「あの原型は微増する」ということは正しいならばこの精神的基盤は灯心でないしさらにもぐもぐしない fact14: 仮に「「忍び込むしその上大麻常習者だ」ということは偽な」物があるとするとこの企画展は忍耐強い fact15: もしもあるものが忍耐強くないならばそれは忍び込む fact16: 仮に「「忍耐強いしそれに大麻常習者だ」ということは間違っている」物があるとしたらこのＨＣ群は御伺いする fact17: 「この精神的基盤はもぐもぐするしかつそれは忍耐強い」ということは成り立たない fact18: この企画展は御伺いするということはない fact19: その象牙彫刻展はもぐもぐする fact20: 「あの原型は大麻常習者だしおまけにもぐもぐする」ということは誤りである fact21: その肉体的生命は微増する
void -> assump2: 以下のように仮定する。あの原型は微増する; fact13 & assump2 -> int1: この精神的基盤は灯心でなくておまけにそれはもぐもぐしない; int1 & fact4 -> int2: このＨＣ群は御伺いしない; void -> assump1: 以下のように仮定する。このＨＣ群は御伺いする; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「あの原型は微増しない」ということは本当だ; fact9 -> int5: 仮にあの原型は微増しないとすれば「忍び込むしさらに大麻常習者だ」ということは本当でない; int4 & int5 -> int6: 「あの原型は忍び込むしその上大麻常習者だ」ということは誤りである; int6 -> int7: 「「忍び込むしかつ大麻常習者である」ということは間違っている」ものはある; int7 & fact14 -> int8: この企画展は忍耐強い; [assump1] & int8 -> hypothesis;
「「「すっごーいしさらに結婚する」ということは確かである」ということは成り立たない」ものはある
fact23 -> int9: 仮にこのＨＣ群は忍耐強くないとすると「それは忍び込む」ということは成り立つ;
$facts$ = fact1: 「「灯心であるし加えてもぐもぐする」ということは嘘な」ものはある fact2: あの原型がもぐもぐするとしたらこの精神的基盤は大麻常習者だ fact3: 「この精神的基盤は大麻常習者であるしそれに灯心だ」ということは嘘である fact4: 仮にこの精神的基盤が灯心でないしかつもぐもぐしないとすればこのＨＣ群は御伺いしない fact5: この精神的基盤は妬ましくない fact6: 「「忍耐強い一方で答え易いということはない」ということは成り立つということはない」ものはある fact7: もしもあの原型が灯心だとしたらこの精神的基盤は大麻常習者でなくて忍び込まない fact8: もしこの精神的基盤は微増しないなら「あの原型はすっごーいし結婚する」ということは成り立たない fact9: もし仮になんらかの物は微増しないならば「忍び込むしおまけに大麻常習者だ」ということは誤りである fact10: あの原型は忍耐強い fact11: この精神的基盤は作り易い fact12: もしあの原型は御伺いするということはないとすると「それは忍び込むしそれにそれは忍耐強い」ということは誤りである fact13: 仮に「あの原型は微増する」ということは正しいならばこの精神的基盤は灯心でないしさらにもぐもぐしない fact14: 仮に「「忍び込むしその上大麻常習者だ」ということは偽な」物があるとするとこの企画展は忍耐強い fact15: もしもあるものが忍耐強くないならばそれは忍び込む fact16: 仮に「「忍耐強いしそれに大麻常習者だ」ということは間違っている」物があるとしたらこのＨＣ群は御伺いする fact17: 「この精神的基盤はもぐもぐするしかつそれは忍耐強い」ということは成り立たない fact18: この企画展は御伺いするということはない fact19: その象牙彫刻展はもぐもぐする fact20: 「あの原型は大麻常習者だしおまけにもぐもぐする」ということは誤りである fact21: その肉体的生命は微増する ; $hypothesis$ = 「もし仮に「このＨＣ群は御伺いする」ということは成り立つとすると「この企画展は忍耐強いということはない」ということは成り立たない」ということは誤っている ; $proof$ = 
void -> assump2: 以下のように仮定する。あの原型は微増する; fact13 & assump2 -> int1: この精神的基盤は灯心でなくておまけにそれはもぐもぐしない; int1 & fact4 -> int2: このＨＣ群は御伺いしない; void -> assump1: 以下のように仮定する。このＨＣ群は御伺いする; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「あの原型は微増しない」ということは本当だ; fact9 -> int5: 仮にあの原型は微増しないとすれば「忍び込むしさらに大麻常習者だ」ということは本当でない; int4 & int5 -> int6: 「あの原型は忍び込むしその上大麻常習者だ」ということは誤りである; int6 -> int7: 「「忍び込むしかつ大麻常習者である」ということは間違っている」ものはある; int7 & fact14 -> int8: この企画展は忍耐強い; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: 「「灯心であるし加えてもぐもぐする」ということは嘘な」ものはある
事実2: あの原型がもぐもぐするとしたらこの精神的基盤は大麻常習者だ
事実3: 「この精神的基盤は大麻常習者であるしそれに灯心だ」ということは嘘である
事実4: 仮にこの精神的基盤が灯心でないしかつもぐもぐしないとすればこのＨＣ群は御伺いしない
事実5: この精神的基盤は妬ましくない
事実6: 「「忍耐強い一方で答え易いということはない」ということは成り立つということはない」ものはある
事実7: もしもあの原型が灯心だとしたらこの精神的基盤は大麻常習者でなくて忍び込まない
事実8: もしこの精神的基盤は微増しないなら「あの原型はすっごーいし結婚する」ということは成り立たない
事実9: もし仮になんらかの物は微増しないならば「忍び込むしおまけに大麻常習者だ」ということは誤りである
事実10: あの原型は忍耐強い
事実11: この精神的基盤は作り易い
事実12: もしあの原型は御伺いするということはないとすると「それは忍び込むしそれにそれは忍耐強い」ということは誤りである
事実13: 仮に「あの原型は微増する」ということは正しいならばこの精神的基盤は灯心でないしさらにもぐもぐしない
事実14: 仮に「「忍び込むしその上大麻常習者だ」ということは偽な」物があるとするとこの企画展は忍耐強い
事実15: もしもあるものが忍耐強くないならばそれは忍び込む
事実16: 仮に「「忍耐強いしそれに大麻常習者だ」ということは間違っている」物があるとしたらこのＨＣ群は御伺いする
事実17: 「この精神的基盤はもぐもぐするしかつそれは忍耐強い」ということは成り立たない
事実18: この企画展は御伺いするということはない
事実19: その象牙彫刻展はもぐもぐする
事実20: 「あの原型は大麻常習者だしおまけにもぐもぐする」ということは誤りである
事実21: その肉体的生命は微増する

仮説: 「もし仮に「このＨＣ群は御伺いする」ということは成り立つとすると「この企画展は忍耐強いということはない」ということは成り立たない」ということは誤っている
1. 仮定2: 以下のように仮定する。あの原型は微増する
2. 事実13と仮定2から、推論1: "この精神的基盤は灯心でなくておまけにそれはもぐもぐしない"が導かれる
3. 推論1と事実4から、推論2: "このＨＣ群は御伺いしない"が導かれる
4. 仮定1: 以下のように仮定する。このＨＣ群は御伺いする
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "「あの原型は微増しない」ということは本当だ"が導かれる
7. 事実9から、推論5: "仮にあの原型は微増しないとすれば「忍び込むしさらに大麻常習者だ」ということは本当でない"が導かれる
8. 推論4と推論5から、推論6: "「あの原型は忍び込むしその上大麻常習者だ」ということは誤りである"が導かれる
9. 推論6から、推論7: "「「忍び込むしかつ大麻常習者である」ということは間違っている」ものはある"が導かれる
10. 推論7と事実14から、推論8: "この企画展は忍耐強い"が導かれる
11. [仮定1]と推論8から、仮説が否定される

よって、仮説が否定されました。