Carol is either a preteen or other young child.
All people who attend weddings are getting married or have friends who are getting married. No preteens and other young children are getting married or have friends who are getting married. If people enjoy celebrating life milestone events with other people, then they attend weddings. If people are fond of large organized group functions, then they enjoy celebrating life milestone events with other people. All people who are outgoing and very spirited are fond of large organized group functions. If Carol is not both a pre-teen or other young child and attends weddings, then Carol is not getting married or has friends who are getting married.  
∀x Weddings(x) → GettingMarried(x) ∀x PreTeen(x) → ¬GettingMarried(x) ∀x Celebrating(x) → Weddings(x) ∀x LargeGathering(x) → Celebrating(x) ∀x Outgoing(x) → LargeGathering(x) ¬(PreTeen(Carol) ∧ Weddings(Carol)) → ¬GettingMarried(Carol)