Translate the following inference to logic notation: If Charles were a nurse, then William is not a carpenter. For all x, y will not cook. Barbara is cooking or William is a carpenter. Robert is bored. Therefore Robert is bored.
p -> ~q. forall x: ~P(x). P(a) or q. r. Therefore r.