Translate the following inference to logic notation: For all x, z is a police officer. If Sarah were an artist, then David is curious. If David were curious, then William is writing a letter. William is not writing a letter. Therefore Sarah is not an artist.
forall x: P(x). p -> q. q -> r. ~r. Therefore ~p.