If the statement if I'm hungry, then I am not happy is assumed to be true is it's inverse of I am not hungry then I must be happy also always true