The cow is rough. The mouse is red. The squirrel likes the mouse. If the mouse sees the cow and the cow likes the squirrel then the cow is green. If someone is rough and they chase the squirrel then they do not chase the cow. If someone likes the mouse then they are rough. If someone sees the cow and they are not cold then they are rough. If someone likes the cow then the cow chases the squirrel. If someone is rough then they chase the squirrel.
The cow does not like the cow.
@0: The cow is rough.[(triple1)] The mouse is red.[(triple2)] The squirrel likes the mouse.[(triple3)] @1: The cow chases the squirrel.[(((triple1) -> rule6))] The squirrel is rough.[(((triple3) -> rule3))] @2: The cow does not chase the cow.[(((triple1 ((triple1) -> rule6)) -> rule2))] The squirrel chases the squirrel.[(((((triple3) -> rule3)) -> rule6))] @3: The squirrel does not chase the cow.[(((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule6)) -> rule2))]