Prius is a Maranello-made car.
All sports cars are loud. No loud cars are electric. If a car is a Ferrari, then it is a sports car. All cars made in Maranello are Ferrari If Prius is neither a sports car nor a loud car, then Prius is a Maranello-made car or a loud car.
∀x (SportsCar(x) → LoudCar(x)) ∀x (LoudCar(x) → ¬ElectricCar(x)) ∀x (Ferrari(x) → SportsCar(x)) ∀x (MadeInMaranello(x) → Ferrari(x)) ∀x (¬SportsCar(prius) ∨ ¬LoudCar(prius) → MadeInMaranello(prius) ∨ LoudCar(prius))