Translate the following inference to logic notation: Michael is a janitor and Charles is drinking water. John is a sailor. If John were a sailor, then Jennifer is a doctor. Therefore Jennifer is a doctor and Michael is a janitor.
p and q. r. r -> s. Therefore s and p.