その催眠術は看過し難い
fact1: 仮にとあるものは遺伝要因でないなら「「あの真名は秘めないかあるいは地獄絵でないかもしくはどちらもである」ということは間違いだ」ということは事実だ fact2: なんらかのものは地獄絵だ fact3: 何らかのものは遺伝要因だということはない fact4: もし仮にその分割承継法人が主張・立証するとすればその催眠術は看過し難い fact5: 仮に「あの真名は秘めないかあるいは地獄絵であるかあるいは両方ともだ」ということは成り立つということはないならば「その分割承継法人は主張・立証する」ということは真実である fact6: もし仮にその分割承継法人が厚しということはないならばあの真名は主張・立証しない fact7: もし仮に「遺伝要因だということはない」物があるとするとあの真名は地獄絵だ fact8: もし仮に「あの真名は秘めるということはないかあるいは地獄絵でないか両方ともである」ということは成り立たないならその分割承継法人は主張・立証する fact9: もしも何らかのものが主張・立証するということはないとしたらそれは地獄絵である fact10: もし仮に「何らかのものは秘める」ということは成り立つとすれば看過し難くないしその上それは遺伝要因である
fact3 & fact1 -> int1: 「あの真名は秘めないかあるいはそれは地獄絵でないかあるいは両方ともだ」ということは成り立たない; int1 & fact8 -> int2: その分割承継法人は主張・立証する; int2 & fact4 -> hypothesis;
「その催眠術は看過し難くない」ということは確かだ
fact13 -> int3: もしその催眠術が秘めるならそれは看過し難くないがしかし遺伝要因である; fact12 -> int4: 仮にあの真名が主張・立証しないとするとそれは地獄絵だ;
$facts$ = fact1: 仮にとあるものは遺伝要因でないなら「「あの真名は秘めないかあるいは地獄絵でないかもしくはどちらもである」ということは間違いだ」ということは事実だ fact2: なんらかのものは地獄絵だ fact3: 何らかのものは遺伝要因だということはない fact4: もし仮にその分割承継法人が主張・立証するとすればその催眠術は看過し難い fact5: 仮に「あの真名は秘めないかあるいは地獄絵であるかあるいは両方ともだ」ということは成り立つということはないならば「その分割承継法人は主張・立証する」ということは真実である fact6: もし仮にその分割承継法人が厚しということはないならばあの真名は主張・立証しない fact7: もし仮に「遺伝要因だということはない」物があるとするとあの真名は地獄絵だ fact8: もし仮に「あの真名は秘めるということはないかあるいは地獄絵でないか両方ともである」ということは成り立たないならその分割承継法人は主張・立証する fact9: もしも何らかのものが主張・立証するということはないとしたらそれは地獄絵である fact10: もし仮に「何らかのものは秘める」ということは成り立つとすれば看過し難くないしその上それは遺伝要因である ; $hypothesis$ = その催眠術は看過し難い ; $proof$ = 
fact3 & fact1 -> int1: 「あの真名は秘めないかあるいはそれは地獄絵でないかあるいは両方ともだ」ということは成り立たない; int1 & fact8 -> int2: その分割承継法人は主張・立証する; int2 & fact4 -> hypothesis; __PROVED__
事実1: 仮にとあるものは遺伝要因でないなら「「あの真名は秘めないかあるいは地獄絵でないかもしくはどちらもである」ということは間違いだ」ということは事実だ
事実2: なんらかのものは地獄絵だ
事実3: 何らかのものは遺伝要因だということはない
事実4: もし仮にその分割承継法人が主張・立証するとすればその催眠術は看過し難い
事実5: 仮に「あの真名は秘めないかあるいは地獄絵であるかあるいは両方ともだ」ということは成り立つということはないならば「その分割承継法人は主張・立証する」ということは真実である
事実6: もし仮にその分割承継法人が厚しということはないならばあの真名は主張・立証しない
事実7: もし仮に「遺伝要因だということはない」物があるとするとあの真名は地獄絵だ
事実8: もし仮に「あの真名は秘めるということはないかあるいは地獄絵でないか両方ともである」ということは成り立たないならその分割承継法人は主張・立証する
事実9: もしも何らかのものが主張・立証するということはないとしたらそれは地獄絵である
事実10: もし仮に「何らかのものは秘める」ということは成り立つとすれば看過し難くないしその上それは遺伝要因である

仮説: その催眠術は看過し難い
1. 事実3と事実1から、推論1: "「あの真名は秘めないかあるいはそれは地獄絵でないかあるいは両方ともだ」ということは成り立たない"が導かれる
2. 推論1と事実8から、推論2: "その分割承継法人は主張・立証する"が導かれる
3. 推論2と事実4から、仮説が導かれる

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