Translate the following inference to logic notation: It is windy or Linda is not taking a plane. If Susan were a mechanic, then Thomas is cooking. If it is windy, then Susan is a mechanic. Therefore if Linda takes a plane, then Thomas is cooking.
p or ~q. r -> s. p -> r. Therefore q -> s.