あの人権尊重は陥凹するけどスパンでない
fact1: もしもその履修方法は陥凹しないなら「「あの人権尊重は陥凹する一方でスパンでない」ということは正しい」ということは間違っている fact2: もし仮に「「血塗るし加えて真っ黒い」ということは間違いな」ものがあればその履修方法は陥凹しない fact3: なにがしかの物は草庵でないならば陥凹するけれどスパンだということはない fact4: 「陥凹するしスパンな」ものはある fact5: 「あの逆行型は血塗るしまたそれは真っ黒い」ということは成り立たない
fact5 -> int1: 「「血塗るし真っ黒い」ということは成り立たない」ものはある; int1 & fact2 -> int2: その履修方法は陥凹するということはない; int2 & fact1 -> hypothesis;
「あの人権尊重は陥凹するがそれはスパンでない」ということは成り立つ
fact6 -> int3: もし「あの人権尊重は草庵でない」ということは成り立つとしたら陥凹するけれどスパンでない;
$facts$ = fact1: もしもその履修方法は陥凹しないなら「「あの人権尊重は陥凹する一方でスパンでない」ということは正しい」ということは間違っている fact2: もし仮に「「血塗るし加えて真っ黒い」ということは間違いな」ものがあればその履修方法は陥凹しない fact3: なにがしかの物は草庵でないならば陥凹するけれどスパンだということはない fact4: 「陥凹するしスパンな」ものはある fact5: 「あの逆行型は血塗るしまたそれは真っ黒い」ということは成り立たない ; $hypothesis$ = あの人権尊重は陥凹するけどスパンでない ; $proof$ = 
fact5 -> int1: 「「血塗るし真っ黒い」ということは成り立たない」ものはある; int1 & fact2 -> int2: その履修方法は陥凹するということはない; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもその履修方法は陥凹しないなら「「あの人権尊重は陥凹する一方でスパンでない」ということは正しい」ということは間違っている
事実2: もし仮に「「血塗るし加えて真っ黒い」ということは間違いな」ものがあればその履修方法は陥凹しない
事実3: なにがしかの物は草庵でないならば陥凹するけれどスパンだということはない
事実4: 「陥凹するしスパンな」ものはある
事実5: 「あの逆行型は血塗るしまたそれは真っ黒い」ということは成り立たない

仮説: あの人権尊重は陥凹するけどスパンでない
1. 事実5から、推論1: "「「血塗るし真っ黒い」ということは成り立たない」ものはある"が導かれる
2. 推論1と事実2から、推論2: "その履修方法は陥凹するということはない"が導かれる
3. 推論2と事実1から、仮説が否定される

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