The bald eagle eats the cow. The bald eagle is big. The bald eagle is green. The bald eagle does not visit the cow. The cow is rough. The cow sees the bald eagle. The cow visits the bald eagle. If something is green then it sees the cow. If something is kind then it sees the cow. If something sees the bald eagle and it sees the cow then the bald eagle visits the cow.
The cow does not see the cow.
@0: The bald eagle does not visit the cow.[(triple4)] The bald eagle eats the cow.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is green.[(triple3)] The cow is rough.[(triple5)] The cow sees the bald eagle.[(triple6)] The cow visits the bald eagle.[(triple7)] @1: The bald eagle sees the cow.[(((triple3) -> rule1))]