Translate the following inference to logic notation: If Elisabeth drinks water, then James is a police officer. Elisabeth is drinking water or it is not windy. If Jennifer were a sailor, then James is a police officer. Jennifer is a sailor or it is windy. Therefore James is a police officer.
p -> q. p or ~r. s -> q. s or r. Therefore q.