Translate the following inference to logic notation: If it is cold, then Joseph is taking a plane. Barbara is sad and it is overcast. If Joseph takes a plane, then it is cold. Joseph is not taking a plane. Therefore Barbara is sad and it is not cold.
p -> q. r and s. q -> p. ~q. Therefore r and ~p.