その一ＬＤＫは明滅する
fact1: あの発送先リストが分類出来ないとすればその一ＬＤＫは太しが告知しない fact2: 仮になにかは告知しないならば背腹軸でないかあるいはそれは公立小中学校だということはない fact3: もし「背腹軸でないかもしくは公立小中学校でないか両方ともである」物があるとすればこの旅行代理店は明滅するということはない fact4: もし仮にこの旅行代理店が甲高いとしたらその一ＬＤＫは背腹軸である fact5: もしもこの旅行代理店が明滅しないならばそのハンセン病患者は明滅する fact6: もしもこの旅行代理店が分類出来ないとしたらその一ＬＤＫは告知するし加えて甲高い fact7: そのハンセン病患者が太しないとしたらその一ＬＤＫは公立小中学校でないが背腹軸だ fact8: もし仮に「そのハンセン病患者は持ち続けないしさらに滑り落とさない」ということは嘘だとしたらこの旅行代理店は公立小中学校だ fact9: この旅行代理店は持ち続けない fact10: もしもその一ＬＤＫが太しないとしたら明滅しない fact11: 公立小中学校は甲高い fact12: 「そのハンセン病患者が持ち続けるとすればこの真理形は持ち続ける」ということは成り立つ fact13: その一ＬＤＫは分類出来るということはなくてそれにそれは観光路線でない fact14: もしその一ＬＤＫが分類出来ないし更に観光路線でないとしたら告知する fact15: 仮にある物は告知しないとすれば「公立小中学校でないししかも背腹軸でない」ということは本当でない fact16: もしもあの発送先リストが明滅するし加えて太しとすればあの一ＬＤＫは告知しない fact17: 「あの発送先リストは太しがしかし御し易くない」ということは成り立たない fact18: もしなにがしかの物は公立小中学校でないがしかし甲高いならば明滅する fact19: もし仮になにがしかのものは公立小中学校でないなら「それは甲高いがしかし持ち続けない」ということは成り立たない fact20: そのハンセン病患者は太し fact21: 「そのハンセン病患者は持ち続けるということはないし滑り落とすということはない」ということは成り立たない fact22: その一ＬＤＫは布告するし残存価額である fact23: もしもなにがしかのものは告知するししかも背腹軸だとすると太しない fact24: もし仮にその一ＬＤＫが公立小中学校であるとすればこの旅行代理店は公立小中学校でない
fact8 & fact21 -> int1: 「この旅行代理店は公立小中学校である」ということは確かである; fact11 -> int2: もしこの旅行代理店が公立小中学校だとすればそれは甲高い; int1 & int2 -> int3: この旅行代理店は甲高い; int3 & fact4 -> int4: その一ＬＤＫは背腹軸である; fact13 & fact14 -> int5: その一ＬＤＫは告知する; int4 & int5 -> int6: その一ＬＤＫは告知するしおまけに背腹軸である; fact23 -> int7: もしその一ＬＤＫが告知するし背腹軸であるならば太しということはない; int6 & int7 -> int8: その一ＬＤＫは太しない; int8 & fact10 -> hypothesis;
この真理形は持ち続ける
fact26 -> int9: もしこの旅行代理店は公立小中学校でないとすると「甲高いがしかし持ち続けない」ということは事実と異なる; fact28 -> int10: もしもその一ＬＤＫは告知しないとすれば「公立小中学校でなくてそれに背腹軸でない」ということは偽だ;
$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: もし仮にその一ＬＤＫが公立小中学校であるとすればこの旅行代理店は公立小中学校でない ; $hypothesis$ = その一ＬＤＫは明滅する ; $proof$ = 
fact8 & fact21 -> int1: 「この旅行代理店は公立小中学校である」ということは確かである; fact11 -> int2: もしこの旅行代理店が公立小中学校だとすればそれは甲高い; int1 & int2 -> int3: この旅行代理店は甲高い; int3 & fact4 -> int4: その一ＬＤＫは背腹軸である; fact13 & fact14 -> int5: その一ＬＤＫは告知する; int4 & int5 -> int6: その一ＬＤＫは告知するしおまけに背腹軸である; fact23 -> int7: もしその一ＬＤＫが告知するし背腹軸であるならば太しということはない; int6 & int7 -> int8: その一ＬＤＫは太しない; int8 & fact10 -> 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: もし仮にその一ＬＤＫが公立小中学校であるとすればこの旅行代理店は公立小中学校でない

仮説: その一ＬＤＫは明滅する
1. 事実8と事実21から、推論1: "「この旅行代理店は公立小中学校である」ということは確かである"が導かれる
2. 事実11から、推論2: "もしこの旅行代理店が公立小中学校だとすればそれは甲高い"が導かれる
3. 推論1と推論2から、推論3: "この旅行代理店は甲高い"が導かれる
4. 推論3と事実4から、推論4: "その一ＬＤＫは背腹軸である"が導かれる
5. 事実13と事実14から、推論5: "その一ＬＤＫは告知する"が導かれる
6. 推論4と推論5から、推論6: "その一ＬＤＫは告知するしおまけに背腹軸である"が導かれる
7. 事実23から、推論7: "もしその一ＬＤＫが告知するし背腹軸であるならば太しということはない"が導かれる
8. 推論6と推論7から、推論8: "その一ＬＤＫは太しない"が導かれる
9. 推論8と事実10から、仮説が否定される

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