Translate the following inference to logic notation: Linda is not a sailor. If Michael plays tennis, then Karen is a carpenter. Elisabeth is playing squash if and only if Linda is a sailor. If it is late, then Karen is a carpenter. It is late or Michael is playing tennis. Therefore Karen is a carpenter and Elisabeth is not playing squash.
~p. q -> r. s <-> p. t -> r. t or q. Therefore r and ~s.