Translate the following inference to logic notation: If it rains, then Barbara is sleeping. If Barbara sleeps, then it is windy. It is cold if and only if it is windy. Therefore if it rains, then it is cold.
p -> q. q -> r. s <-> r. Therefore p -> s.