Translate the following inference to logic notation: William is driving a car or it is not cold. If Thomas cooks, then it is windy. If it is windy, then William is driving a car. Thomas is cooking. Therefore William is driving a car.
p or ~q. r -> s. s -> p. r. Therefore p.