Translate the following inference to logic notation: If Thomas plays a game, then Jennifer is a poet. Karen is a lawyer if and only if Thomas is a taxi driver. If Jennifer were a poet, then Thomas is a taxi driver. Sarah is a musician if and only if Thomas is playing a game. Karen is not a lawyer. Therefore Sarah is not a musician.
p -> q. r <-> s. q -> s. t <-> p. ~r. Therefore ~t.