Translate the following inference to logic notation: Mary is driving a car or it is windy. Richard is sleeping if and only if it is cloudy. If Jennifer were a server, then it is cloudy. If it is windy, then Jennifer is a server. If Mary drives a car, then it is cloudy. Therefore Richard is sleeping.
p or q. r <-> s. t -> s. q -> t. p -> s. Therefore r.