The bald eagle chases the cow. The bald eagle is rough. The bald eagle sees the cow. The bald eagle sees the tiger. The cow is blue. The cow is nice. The cow is red. The cow visits the bald eagle. The tiger chases the cow. The tiger does not visit the bald eagle. If the tiger does not chase the cow then the tiger does not chase the bald eagle. If something is red then it visits the bald eagle. If something visits the cow then the cow is rough. If something is round then it sees the cow. If the cow chases the tiger then the tiger is rough. If something chases the bald eagle then the bald eagle visits the cow. If the cow sees the tiger and the cow is round then the tiger sees the cow. If something is blue and red then it chases the bald eagle.
The bald eagle visits the cow.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle sees the cow.[(triple3)] The bald eagle sees the tiger.[(triple4)] The cow is blue.[(triple5)] The cow is nice.[(triple6)] The cow is red.[(triple7)] The cow visits the bald eagle.[(triple8 OR ((triple7) -> rule2))] The tiger chases the cow.[(triple9)] The tiger does not visit the bald eagle.[(triple10)] @1: The cow chases the bald eagle.[(((triple5 triple7) -> rule8))] @2: The bald eagle visits the cow.[(((((triple5 triple7) -> rule8)) -> rule6))] @3: The cow is rough.[(((((((triple5 triple7) -> rule8)) -> rule6)) -> rule3))]