If Carol is not both a pre-teen or young child and attends a wedding, then Carol is not getting married or knows the people who are getting married.
¬((PreTeen(carol) ∨ YoungChildren(carol)) ∧ Attend(carol, wedding)) → ¬(GettingMarried(carol) ∨ (∃y (Know(carol, y) ∧ GettingMarried(y))))