Translate the following inference to logic notation: For all x, x_13 will make tea. If Joseph were a bartender, then Linda is running. If Joseph makes tea, then Linda is running. Therefore Linda is running or William is working.
forall x: P(x). Q(a) -> p. P(a) -> p. Therefore p or q.