この慢性腎炎は潔し
fact1: もしある物が周辺視でないとすればその駐車場は一歩中であるしその上羨ましい fact2: もしあの具申は逃れ難いとすると「それは潔しということはないし家族介護支援である」ということは成り立たない fact3: もし仮にとある物が震え出すとするとそれは逃れ難い fact4: この受忍限度が当たり難いし更にそれは家族介護支援なら「この慢性腎炎は潔しない」ということは正しい fact5: この北の方は家族介護支援でない fact6: もしも「この受忍限度は施設管理であるということはないしまた逃れ難くない」ということは誤りであるならこの慢性腎炎は家族介護支援だ fact7: 仮に何らかの物は小脇であるか周辺視でないかあるいはどちらもであるとすると「それは周辺視でない」ということは真実である fact8: 逃れ難いものはあるとすると「この受忍限度は施設管理でないしかつ逃れ難くない」ということは事実と異なる fact9: もしも「この慢性腎炎は潔し」ということは真実ならこの受忍限度は潔し fact10: もしも逃れ難くないものは家族介護支援でないならばそれは当たり難くない fact11: この受忍限度は家族介護支援であるか施設管理でないかどちらもであるとすれば「家族介護支援だ」ということは正しい fact12: その駐車場が他愛無いとすればあの倉敷は他愛無い fact13: この受忍限度は家族介護支援であるかあるいは施設管理でない fact14: もしこの受忍限度がコンドミニアムであるかあるいは語り終えないか両方だとしたら「コンドミニアムである」ということは偽でない fact15: この受忍限度はコンドミニアムだ fact16: 何もかもは小脇であるかもしくはそれは周辺視でないか両方である fact17: もしとあるものは一歩中であるとしたらそれは他愛無い fact18: もし「あの倉敷は他愛無い」ということは事実ならば「その検査等は震え出す」ということは真実である fact19: この受忍限度はコンドミニアムであるなら当たり難い
fact19 & fact15 -> int1: この受忍限度は当たり難い; fact13 & fact11 -> int2: この受忍限度は家族介護支援だ; int1 & int2 -> int3: この受忍限度は当たり難いしそれは家族介護支援だ; int3 & fact4 -> hypothesis;
この慢性腎炎は潔し
fact28 -> int4: もし仮にその詰め合わせが小脇であるかあるいはそれは周辺視でないならばそれは周辺視でない; fact20 -> int5: その詰め合わせは小脇であるかまたは周辺視でないかもしくは両方である; int4 & int5 -> int6: その詰め合わせは周辺視でない; int6 -> int7: すべてのものは周辺視でない; int7 -> int8: この屁は周辺視でない; int8 -> int9: 「周辺視でない」物はある; fact21 & int9 -> int10: その駐車場が一歩中だしそれは羨ましい; int10 -> int11: その駐車場は一歩中だ; fact26 -> int12: 仮にその駐車場が一歩中ならば他愛無い; int11 & int12 -> int13: その駐車場は他愛無い; int13 & fact25 -> int14: あの倉敷は他愛無い; fact24 & int14 -> int15: その検査等は震え出す; fact23 -> int16: もしもその検査等が震え出すとすると逃れ難い; int15 & int16 -> int17: その検査等は逃れ難い; int17 -> int18: 「逃れ難い」物はある; fact22 & int18 -> int19: 「この受忍限度は施設管理でないし逃れ難くない」ということは間違っている; int19 & fact27 -> int20: この慢性腎炎は家族介護支援である;
$facts$ = fact1: もしある物が周辺視でないとすればその駐車場は一歩中であるしその上羨ましい fact2: もしあの具申は逃れ難いとすると「それは潔しということはないし家族介護支援である」ということは成り立たない fact3: もし仮にとある物が震え出すとするとそれは逃れ難い fact4: この受忍限度が当たり難いし更にそれは家族介護支援なら「この慢性腎炎は潔しない」ということは正しい fact5: この北の方は家族介護支援でない fact6: もしも「この受忍限度は施設管理であるということはないしまた逃れ難くない」ということは誤りであるならこの慢性腎炎は家族介護支援だ fact7: 仮に何らかの物は小脇であるか周辺視でないかあるいはどちらもであるとすると「それは周辺視でない」ということは真実である fact8: 逃れ難いものはあるとすると「この受忍限度は施設管理でないしかつ逃れ難くない」ということは事実と異なる fact9: もしも「この慢性腎炎は潔し」ということは真実ならこの受忍限度は潔し fact10: もしも逃れ難くないものは家族介護支援でないならばそれは当たり難くない fact11: この受忍限度は家族介護支援であるか施設管理でないかどちらもであるとすれば「家族介護支援だ」ということは正しい fact12: その駐車場が他愛無いとすればあの倉敷は他愛無い fact13: この受忍限度は家族介護支援であるかあるいは施設管理でない fact14: もしこの受忍限度がコンドミニアムであるかあるいは語り終えないか両方だとしたら「コンドミニアムである」ということは偽でない fact15: この受忍限度はコンドミニアムだ fact16: 何もかもは小脇であるかもしくはそれは周辺視でないか両方である fact17: もしとあるものは一歩中であるとしたらそれは他愛無い fact18: もし「あの倉敷は他愛無い」ということは事実ならば「その検査等は震え出す」ということは真実である fact19: この受忍限度はコンドミニアムであるなら当たり難い ; $hypothesis$ = この慢性腎炎は潔し ; $proof$ = 
fact19 & fact15 -> int1: この受忍限度は当たり難い; fact13 & fact11 -> int2: この受忍限度は家族介護支援だ; int1 & int2 -> int3: この受忍限度は当たり難いしそれは家族介護支援だ; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: もしある物が周辺視でないとすればその駐車場は一歩中であるしその上羨ましい
事実2: もしあの具申は逃れ難いとすると「それは潔しということはないし家族介護支援である」ということは成り立たない
事実3: もし仮にとある物が震え出すとするとそれは逃れ難い
事実4: この受忍限度が当たり難いし更にそれは家族介護支援なら「この慢性腎炎は潔しない」ということは正しい
事実5: この北の方は家族介護支援でない
事実6: もしも「この受忍限度は施設管理であるということはないしまた逃れ難くない」ということは誤りであるならこの慢性腎炎は家族介護支援だ
事実7: 仮に何らかの物は小脇であるか周辺視でないかあるいはどちらもであるとすると「それは周辺視でない」ということは真実である
事実8: 逃れ難いものはあるとすると「この受忍限度は施設管理でないしかつ逃れ難くない」ということは事実と異なる
事実9: もしも「この慢性腎炎は潔し」ということは真実ならこの受忍限度は潔し
事実10: もしも逃れ難くないものは家族介護支援でないならばそれは当たり難くない
事実11: この受忍限度は家族介護支援であるか施設管理でないかどちらもであるとすれば「家族介護支援だ」ということは正しい
事実12: その駐車場が他愛無いとすればあの倉敷は他愛無い
事実13: この受忍限度は家族介護支援であるかあるいは施設管理でない
事実14: もしこの受忍限度がコンドミニアムであるかあるいは語り終えないか両方だとしたら「コンドミニアムである」ということは偽でない
事実15: この受忍限度はコンドミニアムだ
事実16: 何もかもは小脇であるかもしくはそれは周辺視でないか両方である
事実17: もしとあるものは一歩中であるとしたらそれは他愛無い
事実18: もし「あの倉敷は他愛無い」ということは事実ならば「その検査等は震え出す」ということは真実である
事実19: この受忍限度はコンドミニアムであるなら当たり難い

仮説: この慢性腎炎は潔し
1. 事実19と事実15から、推論1: "この受忍限度は当たり難い"が導かれる
2. 事実13と事実11から、推論2: "この受忍限度は家族介護支援だ"が導かれる
3. 推論1と推論2から、推論3: "この受忍限度は当たり難いしそれは家族介護支援だ"が導かれる
4. 推論3と事実4から、仮説が否定される

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