Translate the following inference to logic notation: If it is cloudy, then it is late. It is cloudy or Sarah is not playing tennis. If it is late, then Sarah is playing tennis. Sarah is not playing tennis. Therefore it is not late.
p -> q. p or ~r. q -> r. ~r. Therefore ~q.