The cow chases the mouse. The cow is blue. The cow visits the mouse. The mouse chases the cow. The mouse is round. The mouse sees the cow. The mouse visits the cow. If someone visits the mouse and they chase the cow then they are red. If someone is red and they chase the mouse then the mouse chases the cow. If someone sees the cow then they chase the mouse. If someone is blue and rough then they see the cow. If someone visits the cow and they are red then they are round. If someone is rough and they visit the mouse then the mouse chases the cow.
The mouse is nice.
@0: The cow chases the mouse.[(triple1)] The cow is blue.[(triple2)] The cow visits the mouse.[(triple3)] The mouse chases the cow.[(triple4)] The mouse is round.[(triple5)] The mouse sees the cow.[(triple6)] The mouse visits the cow.[(triple7)] @1: The mouse chases the mouse.[(((triple6) -> rule3))]