The bear is green. The cow likes the rabbit. The rabbit likes the cow. The squirrel sees the bear. If someone likes the bear then they like the cow. If the bear is green then the bear likes the rabbit. If someone likes the rabbit then they chase the rabbit. If someone sees the bear and the bear chases the squirrel then the squirrel is round. If the bear is cold then the bear sees the rabbit. If someone is green and they chase the rabbit then the rabbit chases the squirrel.
The cow does not like the cow.
@0: The bear is green.[(triple1)] The cow likes the rabbit.[(triple2)] The rabbit likes the cow.[(triple3)] The squirrel sees the bear.[(triple4)] @1: The bear likes the rabbit.[(((triple1) -> rule2))] The cow chases the rabbit.[(((triple2) -> rule3))] @2: The bear chases the rabbit.[(((((triple1) -> rule2)) -> rule3))] @3: The rabbit chases the squirrel.[(((triple1 ((((triple1) -> rule2)) -> rule3)) -> rule6))]