Translate the following inference to logic notation: It is late if and only if it is cloudy. It is cloudy if and only if Jessica is playing tennis. If it is cloudy, then Jessica is playing tennis. Therefore if it is late, then Jessica is playing tennis.
p <-> q. q <-> r. q -> r. Therefore p -> r.