The bald eagle eats the cow. The bald eagle eats the squirrel. The bald eagle eats the tiger. The bald eagle visits the squirrel. The cow eats the bald eagle. The cow eats the tiger. The cow is blue. The squirrel is nice. The squirrel visits the bald eagle. The squirrel visits the tiger. The tiger eats the bald eagle. The tiger eats the cow. The tiger is red. The tiger is rough. The tiger likes the cow. If something likes the cow then the cow likes the squirrel. If something eats the cow and the cow likes the squirrel then it eats the tiger. If something visits the squirrel then it likes the bald eagle.
The tiger does not visit the tiger.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle eats the tiger.[(triple3 OR ((triple1 ((triple15) -> rule1)) -> rule2))] The bald eagle visits the squirrel.[(triple4)] The cow eats the bald eagle.[(triple5)] The cow eats the tiger.[(triple6)] The cow is blue.[(triple7)] The squirrel is nice.[(triple8)] The squirrel visits the bald eagle.[(triple9)] The squirrel visits the tiger.[(triple10)] The tiger eats the bald eagle.[(triple11)] The tiger eats the cow.[(triple12)] The tiger is red.[(triple13)] The tiger is rough.[(triple14)] The tiger likes the cow.[(triple15)] @1: The bald eagle likes the bald eagle.[(((triple4) -> rule3))] The cow likes the squirrel.[(((triple15) -> rule1))] @2: The tiger eats the tiger.[(((triple12 ((triple15) -> rule1)) -> rule2))]