このプランクトンは収穫一定であるかまたは追加投与するか両方ともだ
fact1: その厄神は糞便であるかあるいは仕舞い易くないかまたはどちらもであるとすればそれは地下鉄ノーザン線でない fact2: 「その厄神は地下鉄ノーザン線だけれど登山客でない」ということは事実と異なる fact3: もし仮にこのプランクトンは糞便でないなら「それは収穫一定であるかもしくはそれは追加投与するかまたはどちらもである」ということは偽である fact4: もし「その厄神は気怠くらないかまたはむさくるしい」ということは嘘であるならさり気無い fact5: その厄神は多くない fact6: もしもその厄神がむさくるしくないならば収穫一定だということはない fact7: もしその厄神は仕舞い易いとしたら「「あの台所用は糞便でないしさり気無くない」ということは誤りでない」ということは誤っている fact8: もし仮にその厄神は多いということはないとしたら「地下鉄ノーザン線でないし登山客でない」ということは本当でない fact9: 仮になんらかのものは糞便だとすれば「それは多くないか酷いということはないかまたはどちらもである」ということは誤りである fact10: 「なにがしかの物は地下鉄ノーザン線でないしまた登山客であるということはない」ということは間違っているとすれば「それは地下鉄ノーザン線だ」ということは成り立つ fact11: さり気無いものは糞便であるかもしくは仕舞い易くないかもしくは両方ともだ fact12: 気怠くらないかもしくはむさくるしくないものは収穫一定でない fact13: 仮に「その厄神は収穫一定でない」ということは間違っていないならこのプランクトンは収穫一定であるかまたはそれは追加投与する fact14: 仮にあの添乗員さんは性的欲求であるということはないならば「それは呻吟するしそれはめんどくない」ということは成り立つということはない fact15: 仮に「その厄神は気怠くらないかまたはむさくるしくないか両方である」ということは成り立つということはないとすればそれはさり気無い
void -> assump1: 以下のように仮定する。「その厄神は気怠くらないかあるいはむさくるしいということはない」ということは成り立たない; fact15 & assump1 -> int1: その厄神はさり気無い; fact11 -> int2: もし仮に「その厄神はさり気無い」ということは嘘でないとすればそれは糞便であるかまたは仕舞い易くないかあるいはどちらもである; int1 & int2 -> int3: その厄神は糞便であるかもしくは仕舞い易くない; int3 & fact1 -> int4: その厄神は地下鉄ノーザン線でない; fact5 & fact8 -> int5: 「その厄神は地下鉄ノーザン線でなくて登山客だということはない」ということは誤っている; fact10 -> int6: もし「その厄神は地下鉄ノーザン線でないし登山客でない」ということは成り立つということはないなら地下鉄ノーザン線である; int5 & int6 -> int7: その厄神は地下鉄ノーザン線である; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その厄神は気怠くらないかまたはむさくるしくないかあるいは両方ともである; fact12 -> int10: もしその厄神は気怠いということはないかむさくるしくないか両方ともであるとすると「それは収穫一定でない」ということは成り立つ; int9 & int10 -> int11: その厄神は収穫一定でない; int11 & fact13 -> hypothesis;
「このプランクトンは収穫一定であるかもしくは追加投与するかもしくは両方ともだ」ということは成り立たない
$facts$ = fact1: その厄神は糞便であるかあるいは仕舞い易くないかまたはどちらもであるとすればそれは地下鉄ノーザン線でない fact2: 「その厄神は地下鉄ノーザン線だけれど登山客でない」ということは事実と異なる fact3: もし仮にこのプランクトンは糞便でないなら「それは収穫一定であるかもしくはそれは追加投与するかまたはどちらもである」ということは偽である fact4: もし「その厄神は気怠くらないかまたはむさくるしい」ということは嘘であるならさり気無い fact5: その厄神は多くない fact6: もしもその厄神がむさくるしくないならば収穫一定だということはない fact7: もしその厄神は仕舞い易いとしたら「「あの台所用は糞便でないしさり気無くない」ということは誤りでない」ということは誤っている fact8: もし仮にその厄神は多いということはないとしたら「地下鉄ノーザン線でないし登山客でない」ということは本当でない fact9: 仮になんらかのものは糞便だとすれば「それは多くないか酷いということはないかまたはどちらもである」ということは誤りである fact10: 「なにがしかの物は地下鉄ノーザン線でないしまた登山客であるということはない」ということは間違っているとすれば「それは地下鉄ノーザン線だ」ということは成り立つ fact11: さり気無いものは糞便であるかもしくは仕舞い易くないかもしくは両方ともだ fact12: 気怠くらないかもしくはむさくるしくないものは収穫一定でない fact13: 仮に「その厄神は収穫一定でない」ということは間違っていないならこのプランクトンは収穫一定であるかまたはそれは追加投与する fact14: 仮にあの添乗員さんは性的欲求であるということはないならば「それは呻吟するしそれはめんどくない」ということは成り立つということはない fact15: 仮に「その厄神は気怠くらないかまたはむさくるしくないか両方である」ということは成り立つということはないとすればそれはさり気無い ; $hypothesis$ = このプランクトンは収穫一定であるかまたは追加投与するか両方ともだ ; $proof$ = 
void -> assump1: 以下のように仮定する。「その厄神は気怠くらないかあるいはむさくるしいということはない」ということは成り立たない; fact15 & assump1 -> int1: その厄神はさり気無い; fact11 -> int2: もし仮に「その厄神はさり気無い」ということは嘘でないとすればそれは糞便であるかまたは仕舞い易くないかあるいはどちらもである; int1 & int2 -> int3: その厄神は糞便であるかもしくは仕舞い易くない; int3 & fact1 -> int4: その厄神は地下鉄ノーザン線でない; fact5 & fact8 -> int5: 「その厄神は地下鉄ノーザン線でなくて登山客だということはない」ということは誤っている; fact10 -> int6: もし「その厄神は地下鉄ノーザン線でないし登山客でない」ということは成り立つということはないなら地下鉄ノーザン線である; int5 & int6 -> int7: その厄神は地下鉄ノーザン線である; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その厄神は気怠くらないかまたはむさくるしくないかあるいは両方ともである; fact12 -> int10: もしその厄神は気怠いということはないかむさくるしくないか両方ともであるとすると「それは収穫一定でない」ということは成り立つ; int9 & int10 -> int11: その厄神は収穫一定でない; int11 & fact13 -> hypothesis; __PROVED__
事実1: その厄神は糞便であるかあるいは仕舞い易くないかまたはどちらもであるとすればそれは地下鉄ノーザン線でない
事実2: 「その厄神は地下鉄ノーザン線だけれど登山客でない」ということは事実と異なる
事実3: もし仮にこのプランクトンは糞便でないなら「それは収穫一定であるかもしくはそれは追加投与するかまたはどちらもである」ということは偽である
事実4: もし「その厄神は気怠くらないかまたはむさくるしい」ということは嘘であるならさり気無い
事実5: その厄神は多くない
事実6: もしもその厄神がむさくるしくないならば収穫一定だということはない
事実7: もしその厄神は仕舞い易いとしたら「「あの台所用は糞便でないしさり気無くない」ということは誤りでない」ということは誤っている
事実8: もし仮にその厄神は多いということはないとしたら「地下鉄ノーザン線でないし登山客でない」ということは本当でない
事実9: 仮になんらかのものは糞便だとすれば「それは多くないか酷いということはないかまたはどちらもである」ということは誤りである
事実10: 「なにがしかの物は地下鉄ノーザン線でないしまた登山客であるということはない」ということは間違っているとすれば「それは地下鉄ノーザン線だ」ということは成り立つ
事実11: さり気無いものは糞便であるかもしくは仕舞い易くないかもしくは両方ともだ
事実12: 気怠くらないかもしくはむさくるしくないものは収穫一定でない
事実13: 仮に「その厄神は収穫一定でない」ということは間違っていないならこのプランクトンは収穫一定であるかまたはそれは追加投与する
事実14: 仮にあの添乗員さんは性的欲求であるということはないならば「それは呻吟するしそれはめんどくない」ということは成り立つということはない
事実15: 仮に「その厄神は気怠くらないかまたはむさくるしくないか両方である」ということは成り立つということはないとすればそれはさり気無い

仮説: このプランクトンは収穫一定であるかまたは追加投与するか両方ともだ
1. 仮定1: 以下のように仮定する。「その厄神は気怠くらないかあるいはむさくるしいということはない」ということは成り立たない
2. 事実15と仮定1から、推論1: "その厄神はさり気無い"が導かれる
3. 事実11から、推論2: "もし仮に「その厄神はさり気無い」ということは嘘でないとすればそれは糞便であるかまたは仕舞い易くないかあるいはどちらもである"が導かれる
4. 推論1と推論2から、推論3: "その厄神は糞便であるかもしくは仕舞い易くない"が導かれる
5. 推論3と事実1から、推論4: "その厄神は地下鉄ノーザン線でない"が導かれる
6. 事実5と事実8から、推論5: "「その厄神は地下鉄ノーザン線でなくて登山客だということはない」ということは誤っている"が導かれる
7. 事実10から、推論6: "もし「その厄神は地下鉄ノーザン線でないし登山客でない」ということは成り立つということはないなら地下鉄ノーザン線である"が導かれる
8. 推論5と推論6から、推論7: "その厄神は地下鉄ノーザン線である"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "その厄神は気怠くらないかまたはむさくるしくないかあるいは両方ともである"が導かれる
11. 事実12から、推論10: "もしその厄神は気怠いということはないかむさくるしくないか両方ともであるとすると「それは収穫一定でない」ということは成り立つ"が導かれる
12. 推論9と推論10から、推論11: "その厄神は収穫一定でない"が導かれる
13. 推論11と事実13から、仮説が導かれる

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