Translate the following inference to logic notation: If it is windy, then Patricia is climbing a mountain. It is windy or William is not poor. For all x, y will not climb a mountain. Therefore William is not poor.
p -> P(a). p or ~q. forall x: ~P(x). Therefore ~q.