Translate the following inference to logic notation: For all x, x_22 is an electrician if and only if x_22 will drive a car. For all x, x_11 is bored if and only if x_11 will read a book. Michael is not driving a car. Sarah is not reading a book. Therefore Sarah is not bored and Michael is not an electrician.
forall x: P(x) <-> Q(x). forall x: R(x) <-> S(x). ~Q(a). ~S(b). Therefore ~R(b) and ~P(a).