trees eat predator
predator is animal. predators is not bigger_than_prey. lion is not predator. carnivore is not predator. tiger_sharks is predators. carnivore is predator. predator is not animal. lion is predator. predators is bigger_than_prey. bully_tree is tree.