∀x (RegularlyEat(x, salad) → ConsciousAbout(x, health) ∧ ConsciousAbout(x, eatinggHabit))
∀x (GrewUpIn(x, health-consciousChildhoodHome) → RegularlyEat(x, salad))
∀x (Fulfill(x, dailyNutritionalIntake) → GrewUpIn(x, health-consciousChildhoodHome))
∀x (Disregard(x, physicalWellbeing) → ¬(ConsciousAbout(x, health) ∧ ConsciousAbout(x, eatingHabit)))
∀x (VisitDaily(x, gym) → Fulfill(x, dailyNutritionalIntake))
¬(GrowUpIn(taylor, health-consciousChildhoodHome) ⊕ Disregard(taylor, physicalWellbeing))
VisitDaily(taylor, gym)