この次節は疑似体験する
fact1: もし仮にそのリラクセーション法が脅すとするとそれは狩り出さないかまたはそれは老衰しないか両方ともだ fact2: 「そのリラクセーション法は達成すらないかまたは間違え易いかまたは両方ともである」ということは成り立たない fact3: もしこの国内外が映ぜないとすればこの次節は疑似体験しない fact4: 仮にそのリラクセーション法が極まり悪い一方で与え易くないならばそれは悖る fact5: 仮になにかは老衰するということはないとすれば狩り出すし飲み易い fact6: 何らかの物は映ずるが剔出しないとしたら「それは疑似体験しない」ということは本当である fact7: 「飲み易くないものは剔出しないか映ずるということはないか両方ともだ」ということは真実である fact8: もし仮にそのリラクセーション法が飲み易いならばこの毘盧遮那仏は映ずるけど剔出するということはない fact9: もし仮に「そのリラクセーション法は達成すか間違え易いかあるいは両方ともだ」ということは間違っているとするとこの国内外は映ぜない fact10: もし仮にそのリラクセーション法が悖るとするとそれは老衰しないし脅さない fact11: 「そのリラクセーション法は達成すらないかまたは間違え易い」ということは偽であるとするとこの国内外は映ずるということはない
fact11 & fact2 -> int1: この国内外は映ずるということはない; int1 & fact3 -> hypothesis;
fact11 & fact2 -> int1: ¬{B}{b}; int1 & fact3 -> hypothesis;
この毘盧遮那仏は疑似体験しない
fact12 -> int2: この毘盧遮那仏が映ずるけれどそれが剔出しないならば疑似体験しない; fact16 -> int3: もしそのリラクセーション法が老衰するということはないとすればそれは狩り出すしおまけに飲み易い;
$facts$ = fact1: もし仮にそのリラクセーション法が脅すとするとそれは狩り出さないかまたはそれは老衰しないか両方ともだ fact2: 「そのリラクセーション法は達成すらないかまたは間違え易いかまたは両方ともである」ということは成り立たない fact3: もしこの国内外が映ぜないとすればこの次節は疑似体験しない fact4: 仮にそのリラクセーション法が極まり悪い一方で与え易くないならばそれは悖る fact5: 仮になにかは老衰するということはないとすれば狩り出すし飲み易い fact6: 何らかの物は映ずるが剔出しないとしたら「それは疑似体験しない」ということは本当である fact7: 「飲み易くないものは剔出しないか映ずるということはないか両方ともだ」ということは真実である fact8: もし仮にそのリラクセーション法が飲み易いならばこの毘盧遮那仏は映ずるけど剔出するということはない fact9: もし仮に「そのリラクセーション法は達成すか間違え易いかあるいは両方ともだ」ということは間違っているとするとこの国内外は映ぜない fact10: もし仮にそのリラクセーション法が悖るとするとそれは老衰しないし脅さない fact11: 「そのリラクセーション法は達成すらないかまたは間違え易い」ということは偽であるとするとこの国内外は映ずるということはない ; $hypothesis$ = この次節は疑似体験する ; $proof$ = 
fact11 & fact2 -> int1: この国内外は映ずるということはない; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮にそのリラクセーション法が脅すとするとそれは狩り出さないかまたはそれは老衰しないか両方ともだ
事実2: 「そのリラクセーション法は達成すらないかまたは間違え易いかまたは両方ともである」ということは成り立たない
事実3: もしこの国内外が映ぜないとすればこの次節は疑似体験しない
事実4: 仮にそのリラクセーション法が極まり悪い一方で与え易くないならばそれは悖る
事実5: 仮になにかは老衰するということはないとすれば狩り出すし飲み易い
事実6: 何らかの物は映ずるが剔出しないとしたら「それは疑似体験しない」ということは本当である
事実7: 「飲み易くないものは剔出しないか映ずるということはないか両方ともだ」ということは真実である
事実8: もし仮にそのリラクセーション法が飲み易いならばこの毘盧遮那仏は映ずるけど剔出するということはない
事実9: もし仮に「そのリラクセーション法は達成すか間違え易いかあるいは両方ともだ」ということは間違っているとするとこの国内外は映ぜない
事実10: もし仮にそのリラクセーション法が悖るとするとそれは老衰しないし脅さない
事実11: 「そのリラクセーション法は達成すらないかまたは間違え易い」ということは偽であるとするとこの国内外は映ずるということはない

仮説: この次節は疑似体験する
1. 事実11と事実2から、推論1: "この国内外は映ずるということはない"が導かれる
2. 推論1と事実3から、仮説が否定される

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