Translate the following inference to logic notation: It is late if and only if Karen is a sailor. It is late if and only if Linda is a poet. If Jennifer plays tennis, then Karen is a sailor. Therefore if Jennifer plays tennis, then Linda is a poet.
p <-> q. p <-> r. s -> q. Therefore s -> r.