Translate the following inference to logic notation: If it is windy, then Charles is excited. If it is windy, then Charles is excited. If Charles were excited, then it is windy. It is not windy. Therefore Charles is not excited.
p -> q. p -> q. q -> p. ~p. Therefore ~q.