Translate the following inference to logic notation: If it snows, then it is late. If Karen were a writer, then Jennifer is not bored. Jennifer is bored. It is snowing. Jennifer is playing squash if and only if Karen is a writer. Therefore it is late and Jennifer is not playing squash.
p -> q. r -> ~s. s. p. t <-> r. Therefore q and ~t.