あの総人口は洗面台ユニットであるけどきったなくない
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: 「この祝祷は答え難いしそれにそれは姉娘である」ということは事実でない fact27: 仮に「答え難い」物はあるとしたら「この鎖編みは人権・人道だということはない」ということは誤りでない
fact7 & fact21 -> int1: この祝祷は理解し辛くない; fact13 -> int2: もしこの祝祷は理解し辛くないとすると「それが答え難いということはないしその上姉娘だ」ということは誤りである; int1 & int2 -> int3: 「この祝祷は答え難くないがしかし姉娘だ」ということは成り立つということはない; int3 -> int4: 「「答え難くないが姉娘だ」ということは偽である」ものはある; int4 & fact16 -> int5: この鎖編みは人権・人道でない; int5 & fact10 -> int6: この連結状況報告書は分かち難いけどそれはしかつめらしくない; int6 -> int7: この連結状況報告書は分かち難い; int7 & fact2 -> int8: この財田川事件は洗面台ユニットだ; int8 & fact17 -> hypothesis;
あの総人口は洗面台ユニットであるがしかしきったなくない
fact28 -> int9: もしもあの総人口が姉娘でないならばそれが洗面台ユニットだしまたきったなくない; fact32 -> int10: もし仮にこの祝祷が人権・人道でないししかつめらしくないとしたら答え難い; fact29 -> int11: 仮にこの祝祷が分かち難いとすれば人権・人道だということはないししかつめらしくない;
$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: 「この祝祷は答え難いしそれにそれは姉娘である」ということは事実でない fact27: 仮に「答え難い」物はあるとしたら「この鎖編みは人権・人道だということはない」ということは誤りでない ; $hypothesis$ = あの総人口は洗面台ユニットであるけどきったなくない ; $proof$ = 
fact7 & fact21 -> int1: この祝祷は理解し辛くない; fact13 -> int2: もしこの祝祷は理解し辛くないとすると「それが答え難いということはないしその上姉娘だ」ということは誤りである; int1 & int2 -> int3: 「この祝祷は答え難くないがしかし姉娘だ」ということは成り立つということはない; int3 -> int4: 「「答え難くないが姉娘だ」ということは偽である」ものはある; int4 & fact16 -> int5: この鎖編みは人権・人道でない; int5 & fact10 -> int6: この連結状況報告書は分かち難いけどそれはしかつめらしくない; int6 -> int7: この連結状況報告書は分かち難い; int7 & fact2 -> int8: この財田川事件は洗面台ユニットだ; int8 & fact17 -> 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: 「この祝祷は答え難いしそれにそれは姉娘である」ということは事実でない
事実27: 仮に「答え難い」物はあるとしたら「この鎖編みは人権・人道だということはない」ということは誤りでない

仮説: あの総人口は洗面台ユニットであるけどきったなくない
1. 事実7と事実21から、推論1: "この祝祷は理解し辛くない"が導かれる
2. 事実13から、推論2: "もしこの祝祷は理解し辛くないとすると「それが答え難いということはないしその上姉娘だ」ということは誤りである"が導かれる
3. 推論1と推論2から、推論3: "「この祝祷は答え難くないがしかし姉娘だ」ということは成り立つということはない"が導かれる
4. 推論3から、推論4: "「「答え難くないが姉娘だ」ということは偽である」ものはある"が導かれる
5. 推論4と事実16から、推論5: "この鎖編みは人権・人道でない"が導かれる
6. 推論5と事実10から、推論6: "この連結状況報告書は分かち難いけどそれはしかつめらしくない"が導かれる
7. 推論6から、推論7: "この連結状況報告書は分かち難い"が導かれる
8. 推論7と事実2から、推論8: "この財田川事件は洗面台ユニットだ"が導かれる
9. 推論8と事実17から、仮説が否定される

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