Translate the following inference to logic notation: Barbara is climbing a mountain or Robert is not a soldier. Barbara is not climbing a mountain. If Barbara climbs a mountain, then Robert is a soldier. Therefore Robert is not a soldier.
p or ~q. ~p. p -> q. Therefore ~q.