tasmāt parābhyupagamāt / siddhaṃ hetumabhyupagamyānumāne 'ntarbhāvaḥ pratipādita arthāpatteḥ //
Therefore, accepting the reason as established based on the opponent's position, [we have] demonstrated that presumption is included within inference.