あの撮像系はリレーするということはない
fact1: もしも「この修行中はリレーする」ということは正しいとしたらあの撮像系は上段だ fact2: もしもその革靴がリモート参照層であるとするとこの修行中は上段だ fact3: 好ましないものはリレーしないかもしくは上段であるか両方ともだ fact4: もしもこの修行中が上段であるとするとあの撮像系はリレーする fact5: その革靴はリモート参照層である fact6: もし仮に何かは好ましということはないとすれば「それは上段であるしさらにそれはリモート参照層でない」ということは間違っている fact7: 「あの撮像系はリモート参照層だ」ということは正しいとすればあの革靴はリレーする fact8: もし仮になにがしかの物はリレーするということはないか上段であるかまたは両方ともならそれはリモート参照層だ
fact2 & fact5 -> int1: この修行中は上段である; int1 & fact4 -> hypothesis;
fact2 & fact5 -> int1: {B}{b}; int1 & fact4 -> hypothesis;
「あの撮像系はリレーしない」ということは確かである
fact9 -> int2: もしもあの撮像系は好ましないなら「上段だしそれはリモート参照層でない」ということは嘘である;
$facts$ = fact1: もしも「この修行中はリレーする」ということは正しいとしたらあの撮像系は上段だ fact2: もしもその革靴がリモート参照層であるとするとこの修行中は上段だ fact3: 好ましないものはリレーしないかもしくは上段であるか両方ともだ fact4: もしもこの修行中が上段であるとするとあの撮像系はリレーする fact5: その革靴はリモート参照層である fact6: もし仮に何かは好ましということはないとすれば「それは上段であるしさらにそれはリモート参照層でない」ということは間違っている fact7: 「あの撮像系はリモート参照層だ」ということは正しいとすればあの革靴はリレーする fact8: もし仮になにがしかの物はリレーするということはないか上段であるかまたは両方ともならそれはリモート参照層だ ; $hypothesis$ = あの撮像系はリレーするということはない ; $proof$ = 
fact2 & fact5 -> int1: この修行中は上段である; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: もしも「この修行中はリレーする」ということは正しいとしたらあの撮像系は上段だ
事実2: もしもその革靴がリモート参照層であるとするとこの修行中は上段だ
事実3: 好ましないものはリレーしないかもしくは上段であるか両方ともだ
事実4: もしもこの修行中が上段であるとするとあの撮像系はリレーする
事実5: その革靴はリモート参照層である
事実6: もし仮に何かは好ましということはないとすれば「それは上段であるしさらにそれはリモート参照層でない」ということは間違っている
事実7: 「あの撮像系はリモート参照層だ」ということは正しいとすればあの革靴はリレーする
事実8: もし仮になにがしかの物はリレーするということはないか上段であるかまたは両方ともならそれはリモート参照層だ

仮説: あの撮像系はリレーするということはない
1. 事実2と事実5から、推論1: "この修行中は上段である"が導かれる
2. 推論1と事実4から、仮説が否定される

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