athāpi syāt tato vyāvṛttaṃ ca bhaviṣyati tajjanakaṃ cetyanaikāntikaṃ prasaṅgasādhanam ity āha anyathetyādi /
[Someone] might object: "Even though [something] is excluded [from another thing], it could still be productive of that [cognition]" - thus [claiming] the reductio proof is inconclusive, [to which he] replies "if it were otherwise" etc.