yasmād anīlatvavyudāso 'nutpalavyudāso nāsti / tatra anutpalatyuktau / itaraḥ nīlavyudāsaḥ
Because the exclusion of non-blue is not the exclusion of non-lotus; when the exclusion of non-lotus [is mentioned] there, the other [namely] the exclusion of non-blue [is not entailed].