Translate the following inference to logic notation: For all x, x_10 will not make tea. If Susan climbs a mountain, then Michael is sad. If Michael were sad, then Sarah is making tea. Therefore Susan is not climbing a mountain.
forall x: ~P(x). p -> q. q -> P(a). Therefore ~p.