Translate the following inference to logic notation: If Susan drinks water, then Patricia is an electrician. If it rains, then Patricia is an electrician. Jennifer is climbing a mountain if and only if Patricia is an electrician. It is raining or Susan is drinking water. Therefore Jennifer is climbing a mountain.
p -> q. r -> q. s <-> q. r or p. Therefore s.