The cow likes the rabbit. The rabbit is red. The squirrel eats the rabbit. If someone eats the rabbit and they are big then the rabbit eats the squirrel. If someone likes the cow then the cow likes the rabbit. If someone is red and they like the squirrel then the squirrel is nice. If someone is nice and they like the rabbit then the rabbit is big. If someone is red and they chase the squirrel then the squirrel is nice. If someone is red then they eat the squirrel. If the squirrel is green and the squirrel chases the cow then the cow likes the squirrel. If the rabbit likes the squirrel and the squirrel is big then the rabbit likes the cow.
The rabbit is red.
@0: The cow likes the rabbit.[(triple1)] The rabbit is red.[(triple2)] The squirrel eats the rabbit.[(triple3)] @1: The rabbit eats the squirrel.[(((triple2) -> rule6))]