The cow chases the dog. The cow chases the rabbit. The dog needs the cow. The dog needs the squirrel. The rabbit eats the squirrel. The rabbit is big. The rabbit needs the cow. The squirrel eats the cow. The squirrel is red. The squirrel needs the dog. If something needs the cow then it is green. If something chases the dog and the dog is green then the dog eats the rabbit. If something eats the rabbit then it eats the squirrel. If the squirrel chases the rabbit then the squirrel needs the cow. If something chases the rabbit then the rabbit chases the squirrel. If something chases the dog then the dog eats the cow.
The rabbit chases the rabbit.
@0: The cow chases the dog.[(triple1)] The cow chases the rabbit.[(triple2)] The dog needs the cow.[(triple3)] The dog needs the squirrel.[(triple4)] The rabbit eats the squirrel.[(triple5)] The rabbit is big.[(triple6)] The rabbit needs the cow.[(triple7)] The squirrel eats the cow.[(triple8)] The squirrel is red.[(triple9)] The squirrel needs the dog.[(triple10)] @1: The dog eats the cow.[(((triple1) -> rule6))] The dog is green.[(((triple3) -> rule1))] The rabbit chases the squirrel.[(((triple2) -> rule5))] The rabbit is green.[(((triple7) -> rule1))] @2: The dog eats the rabbit.[(((triple1 ((triple3) -> rule1)) -> rule2))] @3: The dog eats the squirrel.[(((((triple1 ((triple3) -> rule1)) -> rule2)) -> rule3))]