All important scientific achievements are U.S. inventions.
All artificial satellites are important scientific achievements. Some artificial satellites are not U.S. inventions.
∀x (ArtificialSatellite(x) → ImportantScientificAchievement(x)) ∃x (ArtificialSatellite(x) ∧ ¬USInvention(x))