Translate the following inference to logic notation: John is fast. If Joseph climbs a mountain, then John is not fast. If Joseph climbs a mountain, then Thomas is a writer. Joseph is climbing a mountain if and only if Thomas is a writer. Therefore Thomas is not a writer.
p. q -> ~p. q -> r. q <-> r. Therefore ~r.