The Compendium of Caraka 3.8.48

3.8.48

athārthaprāptiḥ---arthaprāptirnāma yatraikenārthenoktenāparasyārthasyānuktasyāpi siddhiḥ; yathā---nāyaṃ saṃtarpaṇasādhyo vyādhirityukte bhavatyarthaprāptiḥ---apatarpaṇasādhyo 'ayamiti, nānena divā bhoktavyamityukte bhavatyarthaprāptiḥ---niśi bhoktavyamiti//

Now, implication: implication is where, by one meaning being stated, another unstated meaning is also established. For instance, when it is said, 'This disease is not curable by nourishing therapy,' the implication is: 'This is curable by depleting therapy.' When it is said, 'He should not eat by day,' the implication is: 'He should eat at night.'