The bear is big. The bear sees the squirrel. The cow is young. The dog chases the cow. The dog eats the cow. The dog sees the squirrel. The squirrel chases the cow. The squirrel eats the cow. The squirrel eats the dog. The squirrel is blue. The squirrel is green. The squirrel sees the bear. If someone chases the cow and the cow is young then they chase the squirrel. If someone is green and they chase the cow then they are red. If someone chases the bear and they see the squirrel then the squirrel eats the dog. If someone is green and big then they see the dog. If the squirrel chases the cow then the squirrel is big. If someone eats the bear and the bear chases the squirrel then the bear is blue.
The cow chases the bear.
@0: The bear is big.[(triple1)] The bear sees the squirrel.[(triple2)] The cow is young.[(triple3)] The dog chases the cow.[(triple4)] The dog eats the cow.[(triple5)] The dog sees the squirrel.[(triple6)] The squirrel chases the cow.[(triple7)] The squirrel eats the cow.[(triple8)] The squirrel eats the dog.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is green.[(triple11)] The squirrel sees the bear.[(triple12)] @1: The dog chases the squirrel.[(((triple4 triple3) -> rule1))] The squirrel chases the squirrel.[(((triple7 triple3) -> rule1))] The squirrel is big.[(((triple7) -> rule5))] The squirrel is red.[(((triple11 triple7) -> rule2))] @2: The squirrel sees the dog.[(((triple11 ((triple7) -> rule5)) -> rule4))]