Translate the following inference to logic notation: Patricia is climbing a mountain and it is sunny. If Linda were a taxi driver, then Joseph is a janitor. If Joseph were a janitor, then Patricia is not climbing a mountain. Therefore Linda is not a taxi driver.
p and q. r -> s. s -> ~p. Therefore ~r.