Translate the following inference to logic notation: If it is windy, then John is a carpenter. If John were a carpenter, then it is cloudy. If Linda makes tea, then John is a carpenter. Linda is making tea or Robert is sad. If Robert were sad, then it is windy. Therefore it is cloudy.
p -> q. q -> r. s -> q. s or t. t -> p. Therefore r.