Translate the following inference to logic notation: Michael is sad or Barbara is not an astronaut. Barbara is an astronaut. If Michael were sad, then it is snowing. Therefore it is snowing.
p or ~q. q. p -> r. Therefore r.