Translate the following inference to logic notation: Sarah is rich. For all x, z is poor. Sarah is rich if and only if Thomas is cooking. Therefore Thomas is cooking and Joseph is poor.
p. forall x: P(x). p <-> q. Therefore q and P(a).