「この会合部は観ずる一方でそれは枯淡でない」ということは成り立たない
fact1: もし仮にあの玄関先は観ずるということはないとすると「この会合部は観ずるけれどそれは枯淡でない」ということは誤りだ fact2: 「この会合部は観ずるし枯淡だ」ということは嘘だ fact3: もしもあの玄関先は枯淡でないとしたらそれは観ぜない fact4: あの玄関先は熟睡しないか時間領域でない fact5: あの玄関先は熟睡しないかあるいはそれは時間領域であるか両方ともだ fact6: もし仮にあの玄関先が熟睡しないかもしくは時間領域でないかあるいは両方であるならばそれは観ぜない
fact6 & fact4 -> int1: 「あの玄関先は観ぜない」ということは成り立つ; int1 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にあの玄関先は観ずるということはないとすると「この会合部は観ずるけれどそれは枯淡でない」ということは誤りだ fact2: 「この会合部は観ずるし枯淡だ」ということは嘘だ fact3: もしもあの玄関先は枯淡でないとしたらそれは観ぜない fact4: あの玄関先は熟睡しないか時間領域でない fact5: あの玄関先は熟睡しないかあるいはそれは時間領域であるか両方ともだ fact6: もし仮にあの玄関先が熟睡しないかもしくは時間領域でないかあるいは両方であるならばそれは観ぜない ; $hypothesis$ = 「この会合部は観ずる一方でそれは枯淡でない」ということは成り立たない ; $proof$ = 
fact6 & fact4 -> int1: 「あの玄関先は観ぜない」ということは成り立つ; int1 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にあの玄関先は観ずるということはないとすると「この会合部は観ずるけれどそれは枯淡でない」ということは誤りだ
事実2: 「この会合部は観ずるし枯淡だ」ということは嘘だ
事実3: もしもあの玄関先は枯淡でないとしたらそれは観ぜない
事実4: あの玄関先は熟睡しないか時間領域でない
事実5: あの玄関先は熟睡しないかあるいはそれは時間領域であるか両方ともだ
事実6: もし仮にあの玄関先が熟睡しないかもしくは時間領域でないかあるいは両方であるならばそれは観ぜない

仮説: 「この会合部は観ずる一方でそれは枯淡でない」ということは成り立たない
1. 事実6と事実4から、推論1: "「あの玄関先は観ぜない」ということは成り立つ"が導かれる
2. 推論1と事実1から、仮説が導かれる

よって、仮説が証明されました。