The cow is kind. The dog needs the cow. The squirrel is green. If the dog sees the squirrel and the dog needs the squirrel then the squirrel chases the cow. If the cow sees the dog and the cow is red then the dog sees the squirrel. If something needs the cow and the cow is kind then it is red.
The dog does not see the squirrel.
@0: The cow is kind.[(triple1)] The dog needs the cow.[(triple2)] The squirrel is green.[(triple3)] @1: The dog is red.[(((triple2 triple1) -> rule3))]