Translate the following inference to logic notation: Thomas is running if and only if Thomas is driving a car. Barbara is not a soldier. Thomas is not running. Mary is an office clerk if and only if Barbara is a soldier. Therefore Mary is not an office clerk.
p <-> q. ~r. ~p. s <-> r. Therefore ~s.