tathā hi bhāve dharme hetāvasiddhatā, ubhayadharme 'naikāntikatā, abhāvadharme viruddhatā /
For thus: with a positive property [as] probans [there is] inadmissibility, with both [types of] properties [there is] inconclusiveness, with a negative property [there is] contradiction.