Commentary on the Nyāyasūtra 11.2.p39

Nyāyabhāṣya (complete text) 11.2.p39

samavāye cābhāve ca viśeṣaṇaviśeṣyabhāvāditi vārttikam| taccānupapannam, samavāyasya tatpratyakṣatāyāśvāsiddhatvādityata āha--avayavetyādi||