Translate the following inference to logic notation: If Joseph sleeps, then it is cloudy. If Thomas were fast, then Joseph is sleeping. John is playing tennis if and only if Thomas is fast. Therefore if John plays tennis, then it is cloudy.
p -> q. r -> p. s <-> r. Therefore s -> q.