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 does not visit the tiger. The cow is blue. The cow is not rough. The cow does not like the bald eagle. The cow does not like the tiger. The tiger is rough. The tiger likes the bald eagle. The tiger likes the cow. If something is rough then it visits the tiger. If something likes the tiger and it does not visit the bald eagle then the tiger chases the bald eagle. If something likes the cow and it does not chase the bald eagle then it visits the cow.
The cow does not like the tiger.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle does not visit the tiger.[(triple5)] The bald eagle is green.[(triple3)] The bald eagle is nice.[(triple4)] The cow does not like the bald eagle.[(triple8)] The cow does not like the tiger.[(triple9)] The cow is blue.[(triple6)] The cow is not rough.[(triple7)] The tiger is rough.[(triple10)] The tiger likes the bald eagle.[(triple11)] The tiger likes the cow.[(triple12)] @1: The tiger visits the tiger.[(((triple10) -> rule1))]