Translate the following inference to logic notation: It is cold or Robert is not taking a plane. If it rains, then Susan is climbing a mountain. If it is cold, then it is raining. Therefore if Robert takes a plane, then Susan is climbing a mountain.
p or ~q. r -> s. p -> r. Therefore q -> s.