Translate the following inference to logic notation: For all x, x_18 will sleep. If Susan were a poet, then Robert is not a bartender. Robert is a bartender. Therefore Susan is not a poet and Joseph is sleeping.
forall x: P(x). p -> ~q. q. Therefore ~p and P(a).