「デポすることかあるいは赤黒いということかまたは両方が発生する」ということは嘘だ
fact1: 卑しということが生じるし赤黒いということが起こる fact2: もしも「デポすることおよび実現し易いということが発生する」ということは成り立たないなら赤黒いということは生じない fact3: 「卑しということと見透かすこと両方ともが起きる」ということは「赤黒いということは発生しない」ということが契機だ
fact1 -> int1: 赤黒いということが起こる; int1 -> hypothesis;
fact1 -> int1: {B}; int1 -> hypothesis;
見透かすことが生じる
$facts$ = fact1: 卑しということが生じるし赤黒いということが起こる fact2: もしも「デポすることおよび実現し易いということが発生する」ということは成り立たないなら赤黒いということは生じない fact3: 「卑しということと見透かすこと両方ともが起きる」ということは「赤黒いということは発生しない」ということが契機だ ; $hypothesis$ = 「デポすることかあるいは赤黒いということかまたは両方が発生する」ということは嘘だ ; $proof$ = 
fact1 -> int1: 赤黒いということが起こる; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}; int1 -> hypothesis; __DISPROVED__