「あの文化遺産は眠たいけど傾聴しない」ということは誤りである
fact1: あの文化遺産は傾聴しない fact2: あの文化遺産は心室中隔欠損症であるということはない fact3: もしなんらかのものが心室中隔欠損症だということはないなら眠たいしそれは襲来する fact4: この課税価格は傾聴しない
fact3 -> int1: もしもあの文化遺産は心室中隔欠損症でないとするとそれは眠たいしおまけに襲来する; int1 & fact2 -> int2: あの文化遺産は眠たいしかつ襲来する; int2 -> int3: あの文化遺産は眠たい; int3 & fact1 -> hypothesis;
$facts$ = fact1: あの文化遺産は傾聴しない fact2: あの文化遺産は心室中隔欠損症であるということはない fact3: もしなんらかのものが心室中隔欠損症だということはないなら眠たいしそれは襲来する fact4: この課税価格は傾聴しない ; $hypothesis$ = 「あの文化遺産は眠たいけど傾聴しない」ということは誤りである ; $proof$ = 
fact3 -> int1: もしもあの文化遺産は心室中隔欠損症でないとするとそれは眠たいしおまけに襲来する; int1 & fact2 -> int2: あの文化遺産は眠たいしかつ襲来する; int2 -> int3: あの文化遺産は眠たい; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: あの文化遺産は傾聴しない
事実2: あの文化遺産は心室中隔欠損症であるということはない
事実3: もしなんらかのものが心室中隔欠損症だということはないなら眠たいしそれは襲来する
事実4: この課税価格は傾聴しない

仮説: 「あの文化遺産は眠たいけど傾聴しない」ということは誤りである
1. 事実3から、推論1: "もしもあの文化遺産は心室中隔欠損症でないとするとそれは眠たいしおまけに襲来する"が導かれる
2. 推論1と事実2から、推論2: "あの文化遺産は眠たいしかつ襲来する"が導かれる
3. 推論2から、推論3: "あの文化遺産は眠たい"が導かれる
4. 推論3と事実1から、仮説が否定される

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