Translate the following inference to logic notation: Barbara is poor if and only if Robert is running. Robert is not running. John is curious. If John were curious, then Sarah is a sailor. Therefore Sarah is a sailor and Barbara is not poor.
p <-> q. ~q. r. r -> s. Therefore s and ~p.