Translate the following inference to logic notation: If it is sunny, then Linda is a janitor. It is late if and only if Linda is a janitor. It is sunny. It is late if and only if Susan is playing tennis. Therefore it is late.
p -> q. r <-> q. p. r <-> s. Therefore r.