あの病的変化は生活用品でないかまたはそれは心地良いか両方ともだ
fact1: もしあの精神的支柱が生活用品でないならあの病的変化は新キャベツでない fact2: あの精神的支柱は求め為さらないけれどそれは心地良い fact3: もし仮にあの精神的支柱が求め為さるし加えて水っぽいならあの針状は生活用品でない fact4: もしもあの病的変化が中央高速道路だとするとそれは生活用品である fact5: もし仮にあの針状が生活用品でないとすればあの病的変化は生活用品である fact6: 仮にあの精神的支柱が求め為さるということはないけど水っぽいとしたらあの針状は生活用品でない fact7: 仮にあの精神的支柱が新キャベツだとするとそれは求め為さらなくておまけに水っぽい fact8: あの精神的支柱は新キャベツである fact9: もしあの精神的支柱は新キャベツであるとしたら求め為さらない fact10: あの精神的支柱は肺性心である fact11: あの精神的支柱は求め為さるということはない fact12: 「あの病的変化は生活用品である」ということは真実である fact13: 仮にあの針状は生活用品でないならば「あの病的変化は生活用品でないかそれは心地良いかあるいは両方である」ということは誤りだ
fact7 & fact8 -> int1: あの精神的支柱は求め為さるということはないけれどそれは水っぽい; int1 & fact6 -> int2: 「あの針状は生活用品でない」ということは事実である; int2 & fact13 -> hypothesis;
fact7 & fact8 -> int1: (¬{AA}{a} & {AB}{a}); int1 & fact6 -> int2: ¬{B}{b}; int2 & fact13 -> hypothesis;
$facts$ = fact1: もしあの精神的支柱が生活用品でないならあの病的変化は新キャベツでない fact2: あの精神的支柱は求め為さらないけれどそれは心地良い fact3: もし仮にあの精神的支柱が求め為さるし加えて水っぽいならあの針状は生活用品でない fact4: もしもあの病的変化が中央高速道路だとするとそれは生活用品である fact5: もし仮にあの針状が生活用品でないとすればあの病的変化は生活用品である fact6: 仮にあの精神的支柱が求め為さるということはないけど水っぽいとしたらあの針状は生活用品でない fact7: 仮にあの精神的支柱が新キャベツだとするとそれは求め為さらなくておまけに水っぽい fact8: あの精神的支柱は新キャベツである fact9: もしあの精神的支柱は新キャベツであるとしたら求め為さらない fact10: あの精神的支柱は肺性心である fact11: あの精神的支柱は求め為さるということはない fact12: 「あの病的変化は生活用品である」ということは真実である fact13: 仮にあの針状は生活用品でないならば「あの病的変化は生活用品でないかそれは心地良いかあるいは両方である」ということは誤りだ ; $hypothesis$ = あの病的変化は生活用品でないかまたはそれは心地良いか両方ともだ ; $proof$ = 
fact7 & fact8 -> int1: あの精神的支柱は求め為さるということはないけれどそれは水っぽい; int1 & fact6 -> int2: 「あの針状は生活用品でない」ということは事実である; int2 & fact13 -> hypothesis; __DISPROVED__
事実1: もしあの精神的支柱が生活用品でないならあの病的変化は新キャベツでない
事実2: あの精神的支柱は求め為さらないけれどそれは心地良い
事実3: もし仮にあの精神的支柱が求め為さるし加えて水っぽいならあの針状は生活用品でない
事実4: もしもあの病的変化が中央高速道路だとするとそれは生活用品である
事実5: もし仮にあの針状が生活用品でないとすればあの病的変化は生活用品である
事実6: 仮にあの精神的支柱が求め為さるということはないけど水っぽいとしたらあの針状は生活用品でない
事実7: 仮にあの精神的支柱が新キャベツだとするとそれは求め為さらなくておまけに水っぽい
事実8: あの精神的支柱は新キャベツである
事実9: もしあの精神的支柱は新キャベツであるとしたら求め為さらない
事実10: あの精神的支柱は肺性心である
事実11: あの精神的支柱は求め為さるということはない
事実12: 「あの病的変化は生活用品である」ということは真実である
事実13: 仮にあの針状は生活用品でないならば「あの病的変化は生活用品でないかそれは心地良いかあるいは両方である」ということは誤りだ

仮説: あの病的変化は生活用品でないかまたはそれは心地良いか両方ともだ
1. 事実7と事実8から、推論1: "あの精神的支柱は求め為さるということはないけれどそれは水っぽい"が導かれる
2. 推論1と事実6から、推論2: "「あの針状は生活用品でない」ということは事実である"が導かれる
3. 推論2と事実13から、仮説が否定される

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