The cow chases the lion. The cow chases the mouse. The cow sees the mouse. The lion is nice. The mouse is kind. The mouse is nice. The mouse needs the cow. If someone is cold then they need the lion. If someone needs the mouse then they need the cow. If someone chases the mouse then the mouse chases the cow. If someone is kind and they chase the cow then the cow needs the mouse. If someone is green and they see the cow then the cow needs the mouse. If the cow is not green then the cow sees the lion.
The cow chases the cow.
@0: The cow chases the lion.[(triple1)] The cow chases the mouse.[(triple2)] The cow sees the mouse.[(triple3)] The lion is nice.[(triple4)] The mouse is kind.[(triple5)] The mouse is nice.[(triple6)] The mouse needs the cow.[(triple7)] @1: The mouse chases the cow.[(((triple2) -> rule3))] @2: The cow needs the mouse.[(((triple5 ((triple2) -> rule3)) -> rule4))] @3: The cow needs the cow.[(((((triple5 ((triple2) -> rule3)) -> rule4)) -> rule2))]