そのゴブレットは長々しかない
fact1: この不失は職人でない fact2: もしこの村起こし運動が映画村であるならそれは取り易くないしまたそれは職人でない fact3: あの番付は嘆かわしくない fact4: あの推薦入学は長々しかない fact5: もしもそのゴブレットが暮らし易いということはないならばそのぎゅうぎゅう詰めは嘆かわしい fact6: もしそのゴブレットが付議しないならそれは暮らし易くない fact7: もしもこの村起こし運動は職人でないとすれば「あの偶有性は付議するしそれは嘆かわしい」ということは真実だということはない fact8: もしもそのぎゅうぎゅう詰めが職人だということはないならば付議しない fact9: もしもあの細胞診が映画村でその上職人ならばこの村起こし運動は職人でない fact10: もしもそのゴブレットが付議しないとすればそのぎゅうぎゅう詰めは長々しい fact11: あの細胞診は抜け易くなくて取り易くない fact12: もしも「あの偶有性は嘆かわしくないが暮らし易い」ということは成り立たないとしたらそのぎゅうぎゅう詰めは暮らし易い fact13: そのぎゅうぎゅう詰めは暮らし易くない fact14: そのゴブレットが職人だとすればそれは長々しい fact15: もしも何らかの物は付議しないとすると「「それは嘆かわしくないがしかし暮らし易い」ということは誤っていない」ということは間違いである fact16: 「もし嘆かわしくないものがあるならそのぎゅうぎゅう詰めは暮らし易くない」ということは事実である fact17: 嘆かわしい物は付議する fact18: そのぎゅうぎゅう詰めは職人でない fact19: そのゴブレットは職人でない fact20: 取り易くない物は映画村であるししかも職人である fact21: 暮らし易いものは長々しい fact22: そのゴブレットは黒っぽいということはない fact23: そのぎゅうぎゅう詰めは慰留しない fact24: もしとある物は職人であるとするとそれは嘆かわしい fact25: そのぎゅうぎゅう詰めが長々しいかあるいは暮らし易いかまたは両方ともならそのゴブレットは長々しいということはない
void -> assump1: 以下のように仮定する。「そのゴブレットは暮らし易くない」ということは間違いであるということはない; fact5 & assump1 -> int1: 「そのぎゅうぎゅう詰めは嘆かわしい」ということは成り立つ; fact17 -> int2: もし仮に「そのぎゅうぎゅう詰めは嘆かわしい」ということは正しいならば付議する; int1 & int2 -> int3: そのぎゅうぎゅう詰めは付議する; fact18 & fact8 -> int4: そのぎゅうぎゅう詰めは付議しない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのゴブレットは暮らし易い; fact21 -> int7: もし「そのゴブレットは暮らし易い」ということは正しいとしたら「長々しい」ということは確かである; int6 & int7 -> hypothesis;
そのゴブレットは長々しかない
fact29 -> int8: もしもあの細胞診が取り易くないとするとそれは映画村であるし職人である; fact26 -> int9: あの細胞診は取り易くない; int8 & int9 -> int10: あの細胞診は映画村だしそれに職人だ; fact30 & int10 -> int11: この村起こし運動は職人でない; fact28 & int11 -> int12: 「あの偶有性は付議するし嘆かわしい」ということは事実と異なる;
$facts$ = fact1: この不失は職人でない fact2: もしこの村起こし運動が映画村であるならそれは取り易くないしまたそれは職人でない fact3: あの番付は嘆かわしくない fact4: あの推薦入学は長々しかない fact5: もしもそのゴブレットが暮らし易いということはないならばそのぎゅうぎゅう詰めは嘆かわしい fact6: もしそのゴブレットが付議しないならそれは暮らし易くない fact7: もしもこの村起こし運動は職人でないとすれば「あの偶有性は付議するしそれは嘆かわしい」ということは真実だということはない fact8: もしもそのぎゅうぎゅう詰めが職人だということはないならば付議しない fact9: もしもあの細胞診が映画村でその上職人ならばこの村起こし運動は職人でない fact10: もしもそのゴブレットが付議しないとすればそのぎゅうぎゅう詰めは長々しい fact11: あの細胞診は抜け易くなくて取り易くない fact12: もしも「あの偶有性は嘆かわしくないが暮らし易い」ということは成り立たないとしたらそのぎゅうぎゅう詰めは暮らし易い fact13: そのぎゅうぎゅう詰めは暮らし易くない fact14: そのゴブレットが職人だとすればそれは長々しい fact15: もしも何らかの物は付議しないとすると「「それは嘆かわしくないがしかし暮らし易い」ということは誤っていない」ということは間違いである fact16: 「もし嘆かわしくないものがあるならそのぎゅうぎゅう詰めは暮らし易くない」ということは事実である fact17: 嘆かわしい物は付議する fact18: そのぎゅうぎゅう詰めは職人でない fact19: そのゴブレットは職人でない fact20: 取り易くない物は映画村であるししかも職人である fact21: 暮らし易いものは長々しい fact22: そのゴブレットは黒っぽいということはない fact23: そのぎゅうぎゅう詰めは慰留しない fact24: もしとある物は職人であるとするとそれは嘆かわしい fact25: そのぎゅうぎゅう詰めが長々しいかあるいは暮らし易いかまたは両方ともならそのゴブレットは長々しいということはない ; $hypothesis$ = そのゴブレットは長々しかない ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのゴブレットは暮らし易くない」ということは間違いであるということはない; fact5 & assump1 -> int1: 「そのぎゅうぎゅう詰めは嘆かわしい」ということは成り立つ; fact17 -> int2: もし仮に「そのぎゅうぎゅう詰めは嘆かわしい」ということは正しいならば付議する; int1 & int2 -> int3: そのぎゅうぎゅう詰めは付議する; fact18 & fact8 -> int4: そのぎゅうぎゅう詰めは付議しない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのゴブレットは暮らし易い; fact21 -> int7: もし「そのゴブレットは暮らし易い」ということは正しいとしたら「長々しい」ということは確かである; int6 & int7 -> hypothesis; __DISPROVED__
事実1: この不失は職人でない
事実2: もしこの村起こし運動が映画村であるならそれは取り易くないしまたそれは職人でない
事実3: あの番付は嘆かわしくない
事実4: あの推薦入学は長々しかない
事実5: もしもそのゴブレットが暮らし易いということはないならばそのぎゅうぎゅう詰めは嘆かわしい
事実6: もしそのゴブレットが付議しないならそれは暮らし易くない
事実7: もしもこの村起こし運動は職人でないとすれば「あの偶有性は付議するしそれは嘆かわしい」ということは真実だということはない
事実8: もしもそのぎゅうぎゅう詰めが職人だということはないならば付議しない
事実9: もしもあの細胞診が映画村でその上職人ならばこの村起こし運動は職人でない
事実10: もしもそのゴブレットが付議しないとすればそのぎゅうぎゅう詰めは長々しい
事実11: あの細胞診は抜け易くなくて取り易くない
事実12: もしも「あの偶有性は嘆かわしくないが暮らし易い」ということは成り立たないとしたらそのぎゅうぎゅう詰めは暮らし易い
事実13: そのぎゅうぎゅう詰めは暮らし易くない
事実14: そのゴブレットが職人だとすればそれは長々しい
事実15: もしも何らかの物は付議しないとすると「「それは嘆かわしくないがしかし暮らし易い」ということは誤っていない」ということは間違いである
事実16: 「もし嘆かわしくないものがあるならそのぎゅうぎゅう詰めは暮らし易くない」ということは事実である
事実17: 嘆かわしい物は付議する
事実18: そのぎゅうぎゅう詰めは職人でない
事実19: そのゴブレットは職人でない
事実20: 取り易くない物は映画村であるししかも職人である
事実21: 暮らし易いものは長々しい
事実22: そのゴブレットは黒っぽいということはない
事実23: そのぎゅうぎゅう詰めは慰留しない
事実24: もしとある物は職人であるとするとそれは嘆かわしい
事実25: そのぎゅうぎゅう詰めが長々しいかあるいは暮らし易いかまたは両方ともならそのゴブレットは長々しいということはない

仮説: そのゴブレットは長々しかない
1. 仮定1: 以下のように仮定する。「そのゴブレットは暮らし易くない」ということは間違いであるということはない
2. 事実5と仮定1から、推論1: "「そのぎゅうぎゅう詰めは嘆かわしい」ということは成り立つ"が導かれる
3. 事実17から、推論2: "もし仮に「そのぎゅうぎゅう詰めは嘆かわしい」ということは正しいならば付議する"が導かれる
4. 推論1と推論2から、推論3: "そのぎゅうぎゅう詰めは付議する"が導かれる
5. 事実18と事実8から、推論4: "そのぎゅうぎゅう詰めは付議しない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "そのゴブレットは暮らし易い"が導かれる
8. 事実21から、推論7: "もし「そのゴブレットは暮らし易い」ということは正しいとしたら「長々しい」ということは確かである"が導かれる
9. 推論6と推論7から、仮説が否定される

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