The bald eagle chases the cow. The cow does not chase the bald eagle. The cow is nice. The cow is red. The cow is rough. The cow likes the bald eagle. The cow sees the bald eagle. If someone chases the cow and the cow likes the bald eagle then they see the cow. If someone chases the cow then they see the cow. If someone chases the bald eagle and the bald eagle is rough then the bald eagle likes the cow. If the bald eagle is red then the bald eagle does not chase the cow. If someone chases the bald eagle then the bald eagle is green. If the cow does not chase the bald eagle and the bald eagle does not see the cow then the cow is not rough.
The cow is blue.
@0: The bald eagle chases the cow.[(triple1)] The cow does not chase the bald eagle.[(triple2)] The cow is nice.[(triple3)] The cow is red.[(triple4)] The cow is rough.[(triple5)] The cow likes the bald eagle.[(triple6)] The cow sees the bald eagle.[(triple7)] @1: The bald eagle sees the cow.[(((triple1) -> rule2) OR ((triple1 triple6) -> rule1))]