Amy is neither a scientist nor an Olympic gold medal winner.
All athletes are good at sports. All Olympic gold medal winners are good athletes. No scientists are good at sports. All Nobel laureates are scientists. Amy is good at sports or Amy is an Olympic gold medal winner. If Amy is not a Nobel laureate, then Amy is not an Olympic gold medal winner.
∀x (Athlete(x) → GoodAtSports(x)) ∀x (OlympicGoldMedalWinner(x) → Athlete(x)) ∀x (Scientist(x) → ¬GoodAtSports(x)) ∀x (NobelLaureate(x) → Scientist(x)) GoodAtSports(amy) ∨ OlympicGoldMedalWinner(amy) ¬NobelLaureate(amy) → ¬OlympicGoldMedalWinner(amy)