Some warships are commercial vessels.
All nuclear-powered submarines are warships. No nuclear-powered submarines are commercial vessels.
∀x (NuclearPoweredSubmarine(x) → Warship(x)) ∀x (NuclearPoweredSubmarine(x) → ¬CommercialVessel(x))