Larry is neither a bear nor travels far.
If an animal needs a large territory, then it travels far. Everything that eats a lot needs a large territory. If something is a big animal, then it will eat a lot. All bears are big animals. Larry is a big animal.
∀x (NeedsLargeTerritory(x) → TravelFar(x)) ∀x (EatsALot(x) → NeedsLargeTerritory(x)) ∀x (BigAnimal(x) → EatsALot(x)) ∀x (Bear(x) → BigAnimal(x)) BigAnimal(larry)