The bear is green. The bear visits the dog. The dog eats the bear. The dog eats the squirrel. The squirrel is nice. The squirrel is rough. The squirrel visits the dog. If something is nice then it does not eat the squirrel. If something is rough and it visits the bear then it is not young.
The squirrel is rough.
@0: The bear is green.[(triple1)] The bear visits the dog.[(triple2)] The dog eats the bear.[(triple3)] The dog eats the squirrel.[(triple4)] The squirrel is nice.[(triple5)] The squirrel is rough.[(triple6)] The squirrel visits the dog.[(triple7)] @1: The squirrel does not eat the squirrel.[(((triple5) -> rule1))]