The bald eagle chases the lion. The bald eagle chases the squirrel. The bald eagle is big. The bald eagle is round. The bald eagle needs the cow. The bald eagle visits the lion. The bald eagle visits the squirrel. The cow chases the lion. The cow needs the bald eagle. The cow does not need the squirrel. The lion chases the cow. The lion needs the bald eagle. The lion visits the cow. The squirrel chases the lion. The squirrel needs the lion. If the cow visits the squirrel then the squirrel is green. If the bald eagle needs the squirrel and the squirrel is round then the bald eagle is green. If someone needs the cow then they chase the lion. If someone chases the lion and the lion is big then the lion needs the cow. If someone visits the cow and the cow does not need the lion then they do not need the cow. If the lion needs the squirrel and the squirrel does not chase the lion then the lion does not need the bald eagle.
The cow does not need the squirrel.
@0: The bald eagle chases the lion.[(triple1 OR ((triple5) -> rule3))] The bald eagle chases the squirrel.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle needs the cow.[(triple5)] The bald eagle visits the lion.[(triple6)] The bald eagle visits the squirrel.[(triple7)] The cow chases the lion.[(triple8)] The cow does not need the squirrel.[(triple10)] The cow needs the bald eagle.[(triple9)] The lion chases the cow.[(triple11)] The lion needs the bald eagle.[(triple12)] The lion visits the cow.[(triple13)] The squirrel chases the lion.[(triple14)] The squirrel needs the lion.[(triple15)]