Translate the following inference to logic notation: If Elisabeth works, then Susan is fast. If Susan were fast, then Patricia is a lawyer. Patricia is not a lawyer. If it is late, then Elisabeth is working. Patricia is a lawyer if and only if it is late. Therefore Susan is not fast.
p -> q. q -> r. ~r. s -> p. r <-> s. Therefore ~q.