The cat is rough. The lion visits the mouse. The mouse needs the squirrel. The squirrel chases the cat. If someone visits the squirrel then the squirrel needs the lion. If someone is rough and they chase the squirrel then the squirrel is green. Red people are rough. If someone needs the squirrel then they chase the lion. If the squirrel chases the cat and the cat chases the squirrel then the squirrel chases the mouse. If someone visits the squirrel then the squirrel chases the mouse. If the lion needs the mouse and the mouse visits the cat then the lion chases the mouse. If someone chases the mouse then they need the cat.
The lion does not chase the mouse.
@0: The cat is rough.[(triple1)] The lion visits the mouse.[(triple2)] The mouse needs the squirrel.[(triple3)] The squirrel chases the cat.[(triple4)] @1: The mouse chases the lion.[(((triple3) -> rule4))]