The cow is young. The mouse chases the cow. The mouse sees the cow. If something chases the cow and the cow chases the mouse then it is kind. If something is big then it chases the cow. If something chases the mouse and the mouse is round then it is round. If something eats the mouse and it chases the mouse then it sees the cow. If the cow is round then the cow chases the mouse. If the mouse chases the cow and the cow is young then the cow is kind.
The cow does not chase the mouse.
@0: The cow is young.[(triple1)] The mouse chases the cow.[(triple2)] The mouse sees the cow.[(triple3)] @1: The cow is kind.[(((triple2 triple1) -> rule6))]