Mercy is not someone who expects presents Christmas morning, is excited for Chrismtas, and believes in Santa Claus.
¬(Expect(marcy, present, christmasMorning) ∧ ExcitedFor(marcy, christmas) ∧ BelieveIn(marcy, santaClaus))