Translate the following inference to logic notation: Jennifer is a politician or Jennifer is drinking water. It is raining. Joseph is a soldier or Jennifer is not a politician. If Jennifer drinks water, then Joseph is a soldier. Therefore it is raining and Joseph is a soldier.
p or q. r. s or ~p. q -> s. Therefore r and s.