Translate the following inference to logic notation: Thomas is cooking. Karen is an electrician if and only if Linda is making tea. It is not late. Karen is an electrician if and only if it is late. Therefore Thomas is cooking.
p. q <-> r. ~s. q <-> s. Therefore p.