Translate the following inference to logic notation: If Thomas cooks, then Thomas is happy. If Karen were curious, then Thomas is cooking. It is not sunny. If Karen were curious, then it is sunny. If Thomas were happy, then Karen is curious. Therefore Thomas is not cooking or Thomas is taking a plane.
p -> q. r -> p. ~s. r -> s. q -> r. Therefore ~p or t.