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