The cow needs the squirrel. The mouse likes the cow. The squirrel needs the cow. If someone is rough then they do not see the mouse. If someone needs the mouse then the mouse needs the cow. If the squirrel is rough and the squirrel does not see the cow then the cow is round. If someone needs the cow then the cow likes the squirrel. If the cow likes the squirrel then the squirrel needs the mouse. If someone needs the squirrel and they do not need the mouse then the mouse sees the cow.
The squirrel does not need the squirrel.
@0: The cow needs the squirrel.[(triple1)] The mouse likes the cow.[(triple2)] The squirrel needs the cow.[(triple3)] @1: The cow likes the squirrel.[(((triple3) -> rule4))] @2: The squirrel needs the mouse.[(((((triple3) -> rule4)) -> rule5))] @3: The mouse needs the cow.[(((((((triple3) -> rule4)) -> rule5)) -> rule2))]