The bear likes the rabbit. The cow needs the rabbit. The rabbit likes the cow. The squirrel is round. If something needs the rabbit then it needs the squirrel. If the cow is red and the cow likes the rabbit then the cow is cold. If something needs the rabbit and the rabbit is red then the rabbit is round. If something eats the bear then the bear is kind. If something likes the rabbit and it needs the rabbit then the rabbit eats the bear. If something eats the squirrel and the squirrel likes the rabbit then it likes the bear. If something likes the squirrel and it likes the cow then the cow is cold. If something needs the squirrel then the squirrel needs the rabbit.
The squirrel does not need the squirrel.
@0: The bear likes the rabbit.[(triple1)] The cow needs the rabbit.[(triple2)] The rabbit likes the cow.[(triple3)] The squirrel is round.[(triple4)] @1: The cow needs the squirrel.[(((triple2) -> rule1))] @2: The squirrel needs the rabbit.[(((((triple2) -> rule1)) -> rule8))] @3: The squirrel needs the squirrel.[(((((((triple2) -> rule1)) -> rule8)) -> rule1))]