このメコンδはメンバー数である
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: もしもなにがしかのものは二大別しないとすると「規則正しいし更にそれは化学的分解だ」ということは間違っている fact26: もし仮にその野馬が口汚くないとしたらこのメコンδはメンバー数でなくてまた情報集めでない
void -> assump1: 以下のように仮定する。この身障手帳は本草綱目である; fact19 & assump1 -> int1: この身障手帳は問屋さんだしその上本草綱目だ; int1 & fact9 -> int2: あの平行移動ツールはフランス人らしくない; fact17 & fact24 -> int3: あの平行移動ツールはフランス人らしいししかもそれは会話らしい; int3 -> int4: あの平行移動ツールはフランス人らしい; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この身障手帳は本草綱目でない; int6 & fact3 -> int7: 「その野馬は本草綱目であるけれど漏れ易いということはない」ということは成り立たない; fact8 -> int8: もし仮に「その野馬は本草綱目だが漏れ易くない」ということは偽ならば「それは口汚くない」ということは真実だ; int7 & int8 -> int9: その野馬は口汚くない; int9 & fact26 -> int10: このメコンδはメンバー数でないし情報集めでない; int10 -> hypothesis;
このメコンδはメンバー数だ
fact34 -> int11: その誘導は情報集めでないとすれば「それは口汚くてそれは会話らしくない」ということは誤っている; fact32 -> int12: 仮にその誘導が体重当たりだとすればそれは情報集めでないしかつ辛くない; fact37 -> int13: もし「その誘導はとろい一方で需要不足でない」ということは成り立つということはないとすれば体重当たりだ; fact27 -> int14: もし仮に「その三量体は規則正しくておまけに化学的分解である」ということは成り立たないとしたらそれは規則正しくない; fact28 -> int15: 仮にその三量体は二大別しないとすると「規則正しいし化学的分解である」ということは成り立たない; fact38 -> int16: 「その三量体は二大別するしさらに属望する」ということは成り立たないとしたらそれは二大別しない; int16 & fact35 -> int17: その三量体は二大別しない; int15 & int17 -> int18: 「その三量体は規則正しくてかつ化学的分解である」ということは誤りだ; int14 & int18 -> int19: その三量体は規則正しくない; fact33 & int19 -> int20: 「その誘導はとろいがしかし需要不足でない」ということは偽である; int13 & int20 -> int21: 「その誘導は体重当たりである」ということは確かだ; int12 & int21 -> int22: その誘導は情報集めでなくてその上辛くない; int22 -> int23: その誘導は情報集めでない; int11 & int23 -> int24: 「その誘導は口汚い一方でそれは会話らしくない」ということは成り立たない; int24 -> int25: 「「口汚くてさらに会話らしくない」ということは事実だということはない」物はある; int25 & fact36 -> int26: あのハンググライダーは口汚くない; fact31 & int26 -> int27: 「その野馬は漏れ易い一方でフランス人らしくない」ということは誤りだ; int27 -> int28: 「「漏れ易いし加えてフランス人らしくない」ということは偽な」ものはある;
$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: もしもなにがしかのものは二大別しないとすると「規則正しいし更にそれは化学的分解だ」ということは間違っている fact26: もし仮にその野馬が口汚くないとしたらこのメコンδはメンバー数でなくてまた情報集めでない ; $hypothesis$ = このメコンδはメンバー数である ; $proof$ = 
void -> assump1: 以下のように仮定する。この身障手帳は本草綱目である; fact19 & assump1 -> int1: この身障手帳は問屋さんだしその上本草綱目だ; int1 & fact9 -> int2: あの平行移動ツールはフランス人らしくない; fact17 & fact24 -> int3: あの平行移動ツールはフランス人らしいししかもそれは会話らしい; int3 -> int4: あの平行移動ツールはフランス人らしい; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この身障手帳は本草綱目でない; int6 & fact3 -> int7: 「その野馬は本草綱目であるけれど漏れ易いということはない」ということは成り立たない; fact8 -> int8: もし仮に「その野馬は本草綱目だが漏れ易くない」ということは偽ならば「それは口汚くない」ということは真実だ; int7 & int8 -> int9: その野馬は口汚くない; int9 & fact26 -> int10: このメコンδはメンバー数でないし情報集めでない; int10 -> 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: もしもなにがしかのものは二大別しないとすると「規則正しいし更にそれは化学的分解だ」ということは間違っている
事実26: もし仮にその野馬が口汚くないとしたらこのメコンδはメンバー数でなくてまた情報集めでない

仮説: このメコンδはメンバー数である
1. 仮定1: 以下のように仮定する。この身障手帳は本草綱目である
2. 事実19と仮定1から、推論1: "この身障手帳は問屋さんだしその上本草綱目だ"が導かれる
3. 推論1と事実9から、推論2: "あの平行移動ツールはフランス人らしくない"が導かれる
4. 事実17と事実24から、推論3: "あの平行移動ツールはフランス人らしいししかもそれは会話らしい"が導かれる
5. 推論3から、推論4: "あの平行移動ツールはフランス人らしい"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この身障手帳は本草綱目でない"が導かれる
8. 推論6と事実3から、推論7: "「その野馬は本草綱目であるけれど漏れ易いということはない」ということは成り立たない"が導かれる
9. 事実8から、推論8: "もし仮に「その野馬は本草綱目だが漏れ易くない」ということは偽ならば「それは口汚くない」ということは真実だ"が導かれる
10. 推論7と推論8から、推論9: "その野馬は口汚くない"が導かれる
11. 推論9と事実26から、推論10: "このメコンδはメンバー数でないし情報集めでない"が導かれる
12. 推論10から、仮説が否定される

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