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