この共働き世帯は両隣りでない
fact1: もし仮に「その軍司令部は全力投球出来る」ということは成り立つとすればあの共働き世帯は両隣りだ fact2: あの声帯は偽預言者でない fact3: あの後味は異常反射だ一方でそれはポアソン比でない fact4: もしも「あの声帯は偽預言者でない」ということは確かであるとすれば「その軍司令部は全力投球出来ない一方で継続企業である」ということは確かでない fact5: 仮にあの後味は異常反射だがしかしポアソン比でないとすれば切り易くない fact6: 仮にあの後味が心置き無い一方でそれが切り易いということはないとしたらあの声帯は軽くない fact7: もし何らかの物が私立幼稚園であるとしたらそれは両隣りでないしまたそれは偽預言者である fact8: 軽くない物は疾しということはないけど凶事だ fact9: 「その軍司令部は継続企業でないけれど偽預言者である」ということは嘘だ fact10: 仮に「「狭ししクラウド・ナインだ」ということは成り立たない」物があるとするとこの共働き世帯はクラウド・ナインでない fact11: もし仮にその軍司令部は偽預言者でないならば「この共働き世帯は両隣りでない一方で継続企業だ」ということは事実と異なる fact12: あの声帯が疾しないけどそれが凶事ならこの共働き世帯は凶事であるということはない fact13: あの後味は心置き無い fact14: どれもこれもは雇い入れない fact15: もしもあの声帯は偽預言者であるということはないとすると「その軍司令部は全力投球出来るし継続企業だ」ということは偽である fact16: 「その軍司令部は全力投球出来るしそれは継続企業である」ということは誤っている fact17: 仮になにがしかの物は雇い入れないとすれば「それは狭しクラウド・ナインだ」ということは成り立たない fact18: もし「その軍司令部は全力投球出来るということはない一方でそれは継続企業である」ということは成り立つということはないならば「この共働き世帯は両隣りである」ということは真実だ
fact4 & fact2 -> int1: 「その軍司令部は全力投球出来ない一方で継続企業である」ということは成り立たない; int1 & fact18 -> hypothesis;
fact4 & fact2 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact18 -> hypothesis;
この共働き世帯は両隣りだということはない
fact25 -> int2: 仮にこの共働き世帯が私立幼稚園であるとするとそれは両隣りでないし加えて偽預言者である; fact21 -> int3: 仮にあの声帯が軽いということはないとしたら疾しないし凶事である; fact19 & fact28 -> int4: あの後味は切り易くない; fact27 & int4 -> int5: あの後味は心置き無いけれど切り易くない; fact23 & int5 -> int6: あの声帯は軽いということはない; int3 & int6 -> int7: あの声帯は疾しないが凶事だ; fact22 & int7 -> int8: この共働き世帯は凶事だということはない; fact20 -> int9: もしもあの未分化は雇い入れないとすると「「狭ししその上クラウド・ナインである」ということは成り立つ」ということは誤りだ; fact24 -> int10: あの未分化は雇い入れるということはない; int9 & int10 -> int11: 「あの未分化が狭ししその上クラウド・ナインである」ということは嘘だ; int11 -> int12: それは狭ししおまけにクラウド・ナインだという物はない; int12 -> int13: 「その軍司令部は狭ししクラウド・ナインだ」ということは成り立たない; int13 -> int14: 「「狭ししクラウド・ナインである」ということは成り立つということはない」ものはある; int14 & fact26 -> int15: この共働き世帯はクラウド・ナインだということはない; int8 & int15 -> int16: この共働き世帯はクラウド・ナインでなくて加えて凶事でない;
$facts$ = fact1: もし仮に「その軍司令部は全力投球出来る」ということは成り立つとすればあの共働き世帯は両隣りだ fact2: あの声帯は偽預言者でない fact3: あの後味は異常反射だ一方でそれはポアソン比でない fact4: もしも「あの声帯は偽預言者でない」ということは確かであるとすれば「その軍司令部は全力投球出来ない一方で継続企業である」ということは確かでない fact5: 仮にあの後味は異常反射だがしかしポアソン比でないとすれば切り易くない fact6: 仮にあの後味が心置き無い一方でそれが切り易いということはないとしたらあの声帯は軽くない fact7: もし何らかの物が私立幼稚園であるとしたらそれは両隣りでないしまたそれは偽預言者である fact8: 軽くない物は疾しということはないけど凶事だ fact9: 「その軍司令部は継続企業でないけれど偽預言者である」ということは嘘だ fact10: 仮に「「狭ししクラウド・ナインだ」ということは成り立たない」物があるとするとこの共働き世帯はクラウド・ナインでない fact11: もし仮にその軍司令部は偽預言者でないならば「この共働き世帯は両隣りでない一方で継続企業だ」ということは事実と異なる fact12: あの声帯が疾しないけどそれが凶事ならこの共働き世帯は凶事であるということはない fact13: あの後味は心置き無い fact14: どれもこれもは雇い入れない fact15: もしもあの声帯は偽預言者であるということはないとすると「その軍司令部は全力投球出来るし継続企業だ」ということは偽である fact16: 「その軍司令部は全力投球出来るしそれは継続企業である」ということは誤っている fact17: 仮になにがしかの物は雇い入れないとすれば「それは狭しクラウド・ナインだ」ということは成り立たない fact18: もし「その軍司令部は全力投球出来るということはない一方でそれは継続企業である」ということは成り立つということはないならば「この共働き世帯は両隣りである」ということは真実だ ; $hypothesis$ = この共働き世帯は両隣りでない ; $proof$ = 
fact4 & fact2 -> int1: 「その軍司令部は全力投球出来ない一方で継続企業である」ということは成り立たない; int1 & fact18 -> hypothesis; __DISPROVED__
事実1: もし仮に「その軍司令部は全力投球出来る」ということは成り立つとすればあの共働き世帯は両隣りだ
事実2: あの声帯は偽預言者でない
事実3: あの後味は異常反射だ一方でそれはポアソン比でない
事実4: もしも「あの声帯は偽預言者でない」ということは確かであるとすれば「その軍司令部は全力投球出来ない一方で継続企業である」ということは確かでない
事実5: 仮にあの後味は異常反射だがしかしポアソン比でないとすれば切り易くない
事実6: 仮にあの後味が心置き無い一方でそれが切り易いということはないとしたらあの声帯は軽くない
事実7: もし何らかの物が私立幼稚園であるとしたらそれは両隣りでないしまたそれは偽預言者である
事実8: 軽くない物は疾しということはないけど凶事だ
事実9: 「その軍司令部は継続企業でないけれど偽預言者である」ということは嘘だ
事実10: 仮に「「狭ししクラウド・ナインだ」ということは成り立たない」物があるとするとこの共働き世帯はクラウド・ナインでない
事実11: もし仮にその軍司令部は偽預言者でないならば「この共働き世帯は両隣りでない一方で継続企業だ」ということは事実と異なる
事実12: あの声帯が疾しないけどそれが凶事ならこの共働き世帯は凶事であるということはない
事実13: あの後味は心置き無い
事実14: どれもこれもは雇い入れない
事実15: もしもあの声帯は偽預言者であるということはないとすると「その軍司令部は全力投球出来るし継続企業だ」ということは偽である
事実16: 「その軍司令部は全力投球出来るしそれは継続企業である」ということは誤っている
事実17: 仮になにがしかの物は雇い入れないとすれば「それは狭しクラウド・ナインだ」ということは成り立たない
事実18: もし「その軍司令部は全力投球出来るということはない一方でそれは継続企業である」ということは成り立つということはないならば「この共働き世帯は両隣りである」ということは真実だ

仮説: この共働き世帯は両隣りでない
1. 事実4と事実2から、推論1: "「その軍司令部は全力投球出来ない一方で継続企業である」ということは成り立たない"が導かれる
2. 推論1と事実18から、仮説が否定される

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