The cow chases the mouse. The mouse chases the cow. The mouse is young. If the mouse chases the cow and the mouse sees the cow then the mouse does not need the cow. Blue people are cold. If someone chases the mouse and the mouse is young then they need the mouse. If someone chases the cow and the cow is not young then the cow needs the mouse. If someone needs the cow then they chase the cow. If someone needs the mouse then the mouse is blue.
The mouse is not cold.
@0: The cow chases the mouse.[(triple1)] The mouse chases the cow.[(triple2)] The mouse is young.[(triple3)] @1: The cow needs the mouse.[(((triple1 triple3) -> rule3))] @2: The mouse is blue.[(((((triple1 triple3) -> rule3)) -> rule6))] @3: The mouse is cold.[(((((((triple1 triple3) -> rule3)) -> rule6)) -> rule2))]