The cow eats the squirrel. The squirrel is rough. The squirrel sees the cow. If something sees the cow then it eats the squirrel. If something sees the cow then the cow sees the squirrel. If something eats the cow then the cow does not eat the squirrel.
The squirrel does not see the cow.
@0: The cow eats the squirrel.[(triple1)] The squirrel is rough.[(triple2)] The squirrel sees the cow.[(triple3)] @1: The cow sees the squirrel.[(((triple3) -> rule2))] The squirrel eats the squirrel.[(((triple3) -> rule1))]