∀x (BelieveIn(x, santaClaus) ⊕ ThinkMadeUp(x, santaClaus))
∀x (BelieveIn(x, santaClaus) → Expect(x, present, christmasMorning))
∀x (ThinkMadeUp(x, santaClaus) → WouldBeSurprisedToSeeIn(x, santaClaus, house))
∀x (Expect(x, present, christmasMorning) → ExcitedFor(x, christmas))
∀x (WouldBeSurprisedToSeeIn(x, santaClaus, house) → ¬LeaveOut(x, cookies))
¬(Expect(marcy, present, christmasMorning) ∧ ExcitedFor(marcy, christmas) ∧ BelieveIn(marcy, santaClaus))
 ¬(LeaveOut(marcy, cookies) ∧ ThinkMadeUp(marcy, santaClaus)) ∨ BelieveIn(marcy, santaClaus)