Translate the following inference to logic notation: Mary is playing squash. Susan is a taxi driver. Susan is not an electrician. If it snows, then Susan is an electrician. Therefore Susan is a taxi driver.
p. q. ~r. s -> r. Therefore q.