このジェリーは肉でない
fact1: もし仮にとあるものが仰ぎ見ないならばそれはまあるかない fact2: もし仮に「あの客席数がゆっくりしないしさらにそれは御寒くない」ということは事実と異なるとするとあの個人個人は血腥いということはない fact3: 仮にあの前掲表はまあるくないならば「あのイメージ法はまあるいし陰気臭い」ということは誤りである fact4: もしも「「じめじめする」ものはある」ということは真実であるならあの個人個人は血腥い fact5: 「「うら若くないしおまけにじめじめする」ということは成り立たない」ものはある fact6: もしもあの客席数がゆっくりすればあの個人個人は血腥くない fact7: 仮にあの前掲表が陰気臭くないならば血腥くてそれはまあるい fact8: 仮に「あのイメージ法はまあるいということはないがしかし陰気臭い」ということは偽ならばこのジェリーは受け入れられ易い fact9: もし仮にあの前掲表は仰ぎ見るとしたら「あの客席数はゆっくりしないし御寒くない」ということは嘘である fact10: 「「うら若くないしじめじめしない」ということは成り立たない」物はある fact11: 「あの客席数はゆっくりするけれど御寒くない」ということは成り立たない fact12: もしこのジェリーが受け入れられ易いならそれは肉だ fact13: もしも「「うら若くないしそれにじめじめしない」ということは間違いである」物があるとすればあの個人個人は血腥い fact14: もしもあの前掲表はまあるいということはないならば「あのイメージ法はまあるくないがしかし陰気臭い」ということは真実でない
void -> assump1: 以下のように仮定する。あの前掲表は仰ぎ見る; fact9 & assump1 -> int1: 「あの客席数はゆっくりしなくて御寒くない」ということは誤りだ; int1 & fact2 -> int2: 「あの個人個人は血腥いということはない」ということは確かである; fact10 & fact13 -> int3: あの個人個人は血腥い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの前掲表は仰ぎ見ない; fact1 -> int6: もしもあの前掲表が仰ぎ見ないとしたらまあるかない; int5 & int6 -> int7: あの前掲表はまあるくない; int7 & fact14 -> int8: 「あのイメージ法はまあるくないがしかし陰気臭い」ということは間違いである; int8 & fact8 -> int9: このジェリーは受け入れられ易い; int9 & fact12 -> hypothesis;
このジェリーは肉でない
$facts$ = fact1: もし仮にとあるものが仰ぎ見ないならばそれはまあるかない fact2: もし仮に「あの客席数がゆっくりしないしさらにそれは御寒くない」ということは事実と異なるとするとあの個人個人は血腥いということはない fact3: 仮にあの前掲表はまあるくないならば「あのイメージ法はまあるいし陰気臭い」ということは誤りである fact4: もしも「「じめじめする」ものはある」ということは真実であるならあの個人個人は血腥い fact5: 「「うら若くないしおまけにじめじめする」ということは成り立たない」ものはある fact6: もしもあの客席数がゆっくりすればあの個人個人は血腥くない fact7: 仮にあの前掲表が陰気臭くないならば血腥くてそれはまあるい fact8: 仮に「あのイメージ法はまあるいということはないがしかし陰気臭い」ということは偽ならばこのジェリーは受け入れられ易い fact9: もし仮にあの前掲表は仰ぎ見るとしたら「あの客席数はゆっくりしないし御寒くない」ということは嘘である fact10: 「「うら若くないしじめじめしない」ということは成り立たない」物はある fact11: 「あの客席数はゆっくりするけれど御寒くない」ということは成り立たない fact12: もしこのジェリーが受け入れられ易いならそれは肉だ fact13: もしも「「うら若くないしそれにじめじめしない」ということは間違いである」物があるとすればあの個人個人は血腥い fact14: もしもあの前掲表はまあるいということはないならば「あのイメージ法はまあるくないがしかし陰気臭い」ということは真実でない ; $hypothesis$ = このジェリーは肉でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの前掲表は仰ぎ見る; fact9 & assump1 -> int1: 「あの客席数はゆっくりしなくて御寒くない」ということは誤りだ; int1 & fact2 -> int2: 「あの個人個人は血腥いということはない」ということは確かである; fact10 & fact13 -> int3: あの個人個人は血腥い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの前掲表は仰ぎ見ない; fact1 -> int6: もしもあの前掲表が仰ぎ見ないとしたらまあるかない; int5 & int6 -> int7: あの前掲表はまあるくない; int7 & fact14 -> int8: 「あのイメージ法はまあるくないがしかし陰気臭い」ということは間違いである; int8 & fact8 -> int9: このジェリーは受け入れられ易い; int9 & fact12 -> hypothesis; __DISPROVED__
事実1: もし仮にとあるものが仰ぎ見ないならばそれはまあるかない
事実2: もし仮に「あの客席数がゆっくりしないしさらにそれは御寒くない」ということは事実と異なるとするとあの個人個人は血腥いということはない
事実3: 仮にあの前掲表はまあるくないならば「あのイメージ法はまあるいし陰気臭い」ということは誤りである
事実4: もしも「「じめじめする」ものはある」ということは真実であるならあの個人個人は血腥い
事実5: 「「うら若くないしおまけにじめじめする」ということは成り立たない」ものはある
事実6: もしもあの客席数がゆっくりすればあの個人個人は血腥くない
事実7: 仮にあの前掲表が陰気臭くないならば血腥くてそれはまあるい
事実8: 仮に「あのイメージ法はまあるいということはないがしかし陰気臭い」ということは偽ならばこのジェリーは受け入れられ易い
事実9: もし仮にあの前掲表は仰ぎ見るとしたら「あの客席数はゆっくりしないし御寒くない」ということは嘘である
事実10: 「「うら若くないしじめじめしない」ということは成り立たない」物はある
事実11: 「あの客席数はゆっくりするけれど御寒くない」ということは成り立たない
事実12: もしこのジェリーが受け入れられ易いならそれは肉だ
事実13: もしも「「うら若くないしそれにじめじめしない」ということは間違いである」物があるとすればあの個人個人は血腥い
事実14: もしもあの前掲表はまあるいということはないならば「あのイメージ法はまあるくないがしかし陰気臭い」ということは真実でない

仮説: このジェリーは肉でない
1. 仮定1: 以下のように仮定する。あの前掲表は仰ぎ見る
2. 事実9と仮定1から、推論1: "「あの客席数はゆっくりしなくて御寒くない」ということは誤りだ"が導かれる
3. 推論1と事実2から、推論2: "「あの個人個人は血腥いということはない」ということは確かである"が導かれる
4. 事実10と事実13から、推論3: "あの個人個人は血腥い"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの前掲表は仰ぎ見ない"が導かれる
7. 事実1から、推論6: "もしもあの前掲表が仰ぎ見ないとしたらまあるかない"が導かれる
8. 推論5と推論6から、推論7: "あの前掲表はまあるくない"が導かれる
9. 推論7と事実14から、推論8: "「あのイメージ法はまあるくないがしかし陰気臭い」ということは間違いである"が導かれる
10. 推論8と事実8から、推論9: "このジェリーは受け入れられ易い"が導かれる
11. 推論9と事実12から、仮説が否定される

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