Translate the following inference to logic notation: If David were a carpenter, then Linda is reading a book. Linda is reading a book if and only if Karen is playing squash. Karen is not playing squash. Therefore David is not a carpenter or it is late.
p -> q. q <-> r. ~r. Therefore ~p or s.