The bald eagle sees the cow. The bear visits the mouse. The cow is kind. The mouse sees the bald eagle. If something chases the cow and the cow sees the bear then the bear visits the cow. If the mouse is blue then the mouse sees the bear. If the bald eagle sees the bear and the bear chases the cow then the bald eagle sees the mouse. If something sees the bear and it does not chase the bald eagle then the bear is rough. If something is kind then it does not visit the cow. If something is kind then it does not visit the mouse.
The bald eagle sees the cow.
@0: The bald eagle sees the cow.[(triple1)] The bear visits the mouse.[(triple2)] The cow is kind.[(triple3)] The mouse sees the bald eagle.[(triple4)] @1: The cow does not visit the cow.[(((triple3) -> rule5))] The cow does not visit the mouse.[(((triple3) -> rule6))]