Translate the following inference to logic notation: If Jennifer drives a car, then Michael is cooking. Jennifer is driving a car or Charles is a nurse. It is cloudy and Robert is climbing a mountain. If Charles were a nurse, then Michael is cooking. Therefore Michael is cooking and it is cloudy.
p -> q. p or r. s and t. r -> q. Therefore q and s.