Translate the following inference to logic notation: If Elisabeth makes tea, then William is playing squash. If Mary were a sailor, then William is playing squash. Mary is a sailor or Elisabeth is making tea. For all x, z is bored. Therefore Susan is bored.
p -> q. r -> q. r or p. forall x: P(x). Therefore P(a).