Translate the following inference to logic notation: If it rains, then Robert is cooking. For all x, y is not bored. For all x, y will cook if and only if y is bored. Therefore it is not raining.
p -> P(a). forall x: ~Q(x). forall x: P(x) <-> Q(x). Therefore ~p.