The dog needs the squirrel. The squirrel chases the tiger. The squirrel is nice. The squirrel needs the dog. The squirrel sees the tiger. The tiger chases the dog. The tiger does not chase the squirrel. The tiger is green. The tiger sees the dog. The tiger does not see the squirrel. If something sees the tiger then it needs the squirrel. If something chases the squirrel and the squirrel does not see the tiger then the tiger sees the squirrel. If the dog is nice and the dog does not chase the tiger then the tiger is not rough.
The squirrel is not nice.
@0: The dog needs the squirrel.[(triple1)] The squirrel chases the tiger.[(triple2)] The squirrel is nice.[(triple3)] The squirrel needs the dog.[(triple4)] The squirrel sees the tiger.[(triple5)] The tiger chases the dog.[(triple6)] The tiger does not chase the squirrel.[(triple7)] The tiger does not see the squirrel.[(triple10)] The tiger is green.[(triple8)] The tiger sees the dog.[(triple9)] @1: The squirrel needs the squirrel.[(((triple5) -> rule1))]