The cow chases the squirrel. The cow is blue. The cow is not green. The cow likes the squirrel. The cow sees the squirrel. The squirrel does not chase the cow. The squirrel is not green. The squirrel is red. The squirrel is rough. The squirrel sees the cow. If someone is green and they see the squirrel then they are blue. If someone sees the squirrel then the squirrel likes the cow. If someone sees the squirrel and they are red then the squirrel chases the cow. If someone is blue then they chase the cow. If someone likes the cow and the cow is not kind then the cow is red. If the cow is blue and the cow is not red then the cow chases the squirrel.
The squirrel chases the squirrel.
@0: The cow chases the squirrel.[(triple1)] The cow is blue.[(triple2)] The cow is not green.[(triple3)] The cow likes the squirrel.[(triple4)] The cow sees the squirrel.[(triple5)] The squirrel does not chase the cow.[(triple6)] The squirrel is not green.[(triple7)] The squirrel is red.[(triple8)] The squirrel is rough.[(triple9)] The squirrel sees the cow.[(triple10)] @1: The cow chases the cow.[(((triple2) -> rule4))] The squirrel likes the cow.[(((triple5) -> rule2))]