Translate the following inference to logic notation: Charles is bored. For all x, y is a police officer. If it is late, then Charles is not bored. Therefore Richard is a police officer.
p. forall x: P(x). q -> ~p. Therefore P(a).