Translate the following inference to logic notation: John is working if and only if Robert is happy. John is working. For all x, x_9 is a carpenter. Therefore Robert is happy and David is a carpenter.
p <-> q. p. forall x: P(x). Therefore q and P(a).