Translate the following inference to logic notation: For all x, x will sleep or x is rich. If Robert were rich, then Jessica is cooking. Jessica is cooking if and only if Robert is sleeping. Therefore Jessica is cooking or Thomas is running.
forall x: P(x) or Q(x). Q(a) -> p. p <-> P(a). Therefore p or q.