Translate the following inference to logic notation: If Thomas were a writer, then Linda is a poet. If Karen drives a car, then Linda is excited. If it is cold, then Linda is a poet. If Linda were a poet, then Karen is driving a car. It is cold or Thomas is a writer. Therefore Linda is excited.
p -> q. r -> s. t -> q. q -> r. t or p. Therefore s.