Translate the following inference to logic notation: If it is cold, then Susan is running. If Sarah were a poet, then it is sunny. If Jessica drives a car, then it is sunny. If Susan goes running, then Sarah is a poet. It is cold or Jessica is driving a car. Therefore it is sunny.
p -> q. r -> s. t -> s. q -> r. p or t. Therefore s.