Translate the following inference to logic notation: If Richard takes a plane, then Elisabeth is a carpenter. If Elisabeth were a carpenter, then Richard is an office clerk. Richard is an office clerk if and only if Mary is bored. Therefore if Richard takes a plane, then Mary is bored.
p -> q. q -> r. r <-> s. Therefore p -> s.