Translate the following inference to logic notation: Michael is cooking if and only if it is late. If Karen takes a plane, then it is windy. If it is late, then Karen is taking a plane. Therefore if Michael cooks, then it is windy.
p <-> q. r -> s. q -> r. Therefore p -> s.