The cow chases the squirrel. The cow is round. The squirrel eats the cow. If the cow sees the squirrel then the squirrel does not chase the cow. If someone is young then they do not chase the squirrel. If someone chases the squirrel and they are round then the squirrel is green.
The cow does not chase the squirrel.
@0: The cow chases the squirrel.[(triple1)] The cow is round.[(triple2)] The squirrel eats the cow.[(triple3)] @1: The squirrel is green.[(((triple1 triple2) -> rule3))]