Translate the following inference to logic notation: For all x, if y_3 makes tea, then y_3 is curious. If Patricia were curious, then it is raining. For all x, y_3 is an electrician if and only if y_3 will make tea. Therefore if Patricia were an electrician, then it is raining.
forall x: P(x) -> Q(x). Q(a) -> p. forall x: R(x) <-> P(x). Therefore R(a) -> p.