Translate the following inference to logic notation: Karen is curious if and only if it is windy. If it is windy, then Karen is curious. If it is windy, then Robert is taking a plane. Therefore if Karen were curious, then Robert is taking a plane.
p <-> q. q -> p. q -> r. Therefore p -> r.