Translate the following inference to logic notation: If Karen works, then John is happy. Linda is making tea. If John were happy, then Linda is not making tea. Therefore Karen is not working or it is late.
p -> q. r. q -> ~r. Therefore ~p or s.