Translate the following inference to logic notation: If Susan goes running, then Susan is writing a letter. If Susan writes a letter, then Robert is curious. If Robert were curious, then it is windy. If it is windy, then Susan is running. Therefore it is windy if and only if Susan is writing a letter.
p -> q. q -> r. r -> s. s -> p. Therefore s <-> q.