The cow chases the mouse. The mouse is young. The squirrel is red. If someone is blue then they see the squirrel. If someone visits the squirrel and the squirrel visits the cow then the cow chases the mouse. If someone is kind and they see the cow then the cow is rough. If someone chases the mouse and they visit the cow then the cow is young. If someone is red then they see the cow. If the squirrel is red then the squirrel sees the mouse.
The mouse visits the squirrel.
@0: The cow chases the mouse.[(triple1)] The mouse is young.[(triple2)] The squirrel is red.[(triple3)] @1: The squirrel sees the cow.[(((triple3) -> rule5))] The squirrel sees the mouse.[(((triple3) -> rule6))]