Translate the following inference to logic notation: For all x, y will make tea or y is poor. It is not late. It is late if and only if Richard is an artist. For all x, y will not make tea. Therefore Barbara is poor.
forall x: P(x) or Q(x). ~p. p <-> q. forall x: ~P(x). Therefore Q(a).