Translate the following inference to logic notation: It is sunny. If Barbara climbs a mountain, then Susan is sleeping. If Susan sleeps, then Barbara is climbing a mountain. If Barbara climbs a mountain, then it is not sunny. If Barbara climbs a mountain, then Susan is sleeping. Therefore Susan is not sleeping.
p. q -> r. r -> q. q -> ~p. q -> r. Therefore ~r.