The bear chases the cow. The cow does not chase the squirrel. The cow is kind. The dog chases the squirrel. The dog is red. The dog is rough. The squirrel chases the dog. If someone chases the cow then the cow sees the dog.
The cow does not eat the cow.
@0: The bear chases the cow.[(triple1)] The cow does not chase the squirrel.[(triple2)] The cow is kind.[(triple3)] The dog chases the squirrel.[(triple4)] The dog is red.[(triple5)] The dog is rough.[(triple6)] The squirrel chases the dog.[(triple7)] @1: The cow sees the dog.[(((triple1) -> rule1))]