「この午王山遺跡は心地良くない」ということは本当だ
fact1: あの患者学が蝉ダブルでなくてかつ御頼みしないとすればあの午王山遺跡は蝉ダブルだ fact2: あの浮き名が脳圧昂進であるならあの患者学は蝉ダブルだ fact3: 何らかのものは蝉ダブルであるとすれば「脳圧昂進でないけれど心地良い」ということは成り立たない fact4: あの浮き名は脳圧昂進である fact5: もしもこの午王山遺跡が痛いとしたらその温熱刺激は心地良い fact6: この午王山遺跡は向かう fact7: もし仮に「とある物は脳圧昂進でないけれどそれは心地良い」ということは間違っていればそれは心地良くない fact8: あの浮き名が心地良いならばあの温熱刺激は痛い fact9: もしその温熱刺激が痛いならこの午王山遺跡は心地良い fact10: あの浮き名は理解し易い fact11: 仮にあの患者学が脳圧昂進だとするとあの浮き名は蝉ダブルである fact12: この午王山遺跡は痛い fact13: 仮にあの患者学が痛いならその温熱刺激は脳圧昂進である fact14: 仮にあの浮き名が蝉ダブルだとしたらその温熱刺激は痛い fact15: あの患者学は脳圧昂進だ fact16: もしこの午王山遺跡は脳圧昂進であるなら「あの患者学は心地良い」ということは成り立つ fact17: 仮に「あの患者学は心地良い」ということは真実だとすればこの午王山遺跡は脳圧昂進だ
fact11 & fact15 -> int1: あの浮き名は蝉ダブルだ; int1 & fact14 -> int2: 「その温熱刺激は痛い」ということは真実である; int2 & fact9 -> hypothesis;
この午王山遺跡は心地良くない
fact19 -> int3: もし仮に「この午王山遺跡は脳圧昂進でない一方で心地良い」ということは間違いであるとするとそれは心地良くない; fact20 -> int4: もしこの午王山遺跡は蝉ダブルだとすれば「脳圧昂進でないが心地良い」ということは成り立つということはない;
$facts$ = fact1: あの患者学が蝉ダブルでなくてかつ御頼みしないとすればあの午王山遺跡は蝉ダブルだ fact2: あの浮き名が脳圧昂進であるならあの患者学は蝉ダブルだ fact3: 何らかのものは蝉ダブルであるとすれば「脳圧昂進でないけれど心地良い」ということは成り立たない fact4: あの浮き名は脳圧昂進である fact5: もしもこの午王山遺跡が痛いとしたらその温熱刺激は心地良い fact6: この午王山遺跡は向かう fact7: もし仮に「とある物は脳圧昂進でないけれどそれは心地良い」ということは間違っていればそれは心地良くない fact8: あの浮き名が心地良いならばあの温熱刺激は痛い fact9: もしその温熱刺激が痛いならこの午王山遺跡は心地良い fact10: あの浮き名は理解し易い fact11: 仮にあの患者学が脳圧昂進だとするとあの浮き名は蝉ダブルである fact12: この午王山遺跡は痛い fact13: 仮にあの患者学が痛いならその温熱刺激は脳圧昂進である fact14: 仮にあの浮き名が蝉ダブルだとしたらその温熱刺激は痛い fact15: あの患者学は脳圧昂進だ fact16: もしこの午王山遺跡は脳圧昂進であるなら「あの患者学は心地良い」ということは成り立つ fact17: 仮に「あの患者学は心地良い」ということは真実だとすればこの午王山遺跡は脳圧昂進だ ; $hypothesis$ = 「この午王山遺跡は心地良くない」ということは本当だ ; $proof$ = 
fact11 & fact15 -> int1: あの浮き名は蝉ダブルだ; int1 & fact14 -> int2: 「その温熱刺激は痛い」ということは真実である; int2 & fact9 -> hypothesis; __DISPROVED__
事実1: あの患者学が蝉ダブルでなくてかつ御頼みしないとすればあの午王山遺跡は蝉ダブルだ
事実2: あの浮き名が脳圧昂進であるならあの患者学は蝉ダブルだ
事実3: 何らかのものは蝉ダブルであるとすれば「脳圧昂進でないけれど心地良い」ということは成り立たない
事実4: あの浮き名は脳圧昂進である
事実5: もしもこの午王山遺跡が痛いとしたらその温熱刺激は心地良い
事実6: この午王山遺跡は向かう
事実7: もし仮に「とある物は脳圧昂進でないけれどそれは心地良い」ということは間違っていればそれは心地良くない
事実8: あの浮き名が心地良いならばあの温熱刺激は痛い
事実9: もしその温熱刺激が痛いならこの午王山遺跡は心地良い
事実10: あの浮き名は理解し易い
事実11: 仮にあの患者学が脳圧昂進だとするとあの浮き名は蝉ダブルである
事実12: この午王山遺跡は痛い
事実13: 仮にあの患者学が痛いならその温熱刺激は脳圧昂進である
事実14: 仮にあの浮き名が蝉ダブルだとしたらその温熱刺激は痛い
事実15: あの患者学は脳圧昂進だ
事実16: もしこの午王山遺跡は脳圧昂進であるなら「あの患者学は心地良い」ということは成り立つ
事実17: 仮に「あの患者学は心地良い」ということは真実だとすればこの午王山遺跡は脳圧昂進だ

仮説: 「この午王山遺跡は心地良くない」ということは本当だ
1. 事実11と事実15から、推論1: "あの浮き名は蝉ダブルだ"が導かれる
2. 推論1と事実14から、推論2: "「その温熱刺激は痛い」ということは真実である"が導かれる
3. 推論2と事実9から、仮説が否定される

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