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