Translate the following inference to logic notation: Mary is a doctor. If Joseph were sad, then Elisabeth is a janitor. Joseph is sad. Therefore Elisabeth is a janitor and Mary is a doctor.
p. q -> r. q. Therefore r and p.