「このリース権は黒しない一方で捕らえ易い」ということは成り立たない
fact1: もしもこのリース権が追越割り込みでないならそれは黒しないしおまけに捕らえ易い fact2: このリース権は追越割り込みだということはない
$facts$ = fact1: もしもこのリース権が追越割り込みでないならそれは黒しないしおまけに捕らえ易い fact2: このリース権は追越割り込みだということはない ; $hypothesis$ = 「このリース権は黒しない一方で捕らえ易い」ということは成り立たない ; $proof$ = 
事実1: もしもこのリース権が追越割り込みでないならそれは黒しないしおまけに捕らえ易い
事実2: このリース権は追越割り込みだということはない

仮説: 「このリース権は黒しない一方で捕らえ易い」ということは成り立たない