The cow needs the squirrel. The rabbit is cold. The squirrel chases the rabbit. If someone eats the cow then the cow does not chase the squirrel. If someone chases the rabbit then they are rough. If someone is rough then they chase the squirrel. If someone is round and they do not need the cow then they are kind. If someone chases the cow and they are not cold then they do not need the squirrel. If someone chases the squirrel then the squirrel does not eat the cow.
The squirrel chases the squirrel.
@0: The cow needs the squirrel.[(triple1)] The rabbit is cold.[(triple2)] The squirrel chases the rabbit.[(triple3)] @1: The squirrel is rough.[(((triple3) -> rule2))] @2: The squirrel chases the squirrel.[(((((triple3) -> rule2)) -> rule3))] @3: The squirrel does not eat the cow.[(((((((triple3) -> rule2)) -> rule3)) -> rule6))]