The bald eagle chases the tiger. The bald eagle is young. The bald eagle likes the cow. The bald eagle likes the tiger. The bald eagle visits the cow. The bald eagle visits the tiger. The cow chases the bald eagle. The cow is young. The cow likes the bald eagle. The cow likes the tiger. The tiger chases the bald eagle. The tiger chases the cow. The tiger is green. The tiger is round. The tiger likes the bald eagle. The tiger visits the cow. If something chases the tiger then it likes the cow. If something chases the tiger and the tiger likes the bald eagle then the bald eagle is nice. If something visits the tiger and the tiger is round then the tiger visits the cow.
The cow does not like the cow.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the cow.[(triple3 OR ((triple1) -> rule1))] The bald eagle likes the tiger.[(triple4)] The bald eagle visits the cow.[(triple5)] The bald eagle visits the tiger.[(triple6)] The cow chases the bald eagle.[(triple7)] The cow is young.[(triple8)] The cow likes the bald eagle.[(triple9)] The cow likes the tiger.[(triple10)] The tiger chases the bald eagle.[(triple11)] The tiger chases the cow.[(triple12)] The tiger is green.[(triple13)] The tiger is round.[(triple14)] The tiger likes the bald eagle.[(triple15)] The tiger visits the cow.[(triple16 OR ((triple6 triple14) -> rule3))] @1: The bald eagle is nice.[(((triple1 triple15) -> rule2))]