Translate the following inference to logic notation: Michael is not bored. For all x, x_14 is sad if and only if x_14 is bored. Michael is sad or Robert is a soldier. Therefore Elisabeth is making tea or Robert is a soldier.
~P(a). forall x: Q(x) <-> P(x). Q(a) or p. Therefore q or p.