Translate the following inference to logic notation: If it is cold, then Barbara is sad. It is cold or it is not overcast. If Barbara were sad, then it is overcast. Therefore if Barbara were sad, then it is overcast.
p -> q. p or ~r. q -> r. Therefore q -> r.