The bear does not chase the squirrel. The bear sees the dog. The bear does not see the squirrel. The dog does not chase the bear. The dog eats the bear. The dog eats the lion. The dog is green. The dog sees the bear. The dog sees the lion. The lion eats the squirrel. The lion sees the bear. The squirrel chases the dog. The squirrel chases the lion. The squirrel eats the bear. The squirrel eats the dog. The squirrel is green. If something sees the dog then the dog eats the squirrel. If something sees the lion then it is nice. If something chases the lion and it is not green then it sees the lion.
The lion is kind.
@0: The bear does not chase the squirrel.[(triple1)] The bear does not see the squirrel.[(triple3)] The bear sees the dog.[(triple2)] The dog does not chase the bear.[(triple4)] The dog eats the bear.[(triple5)] The dog eats the lion.[(triple6)] The dog is green.[(triple7)] The dog sees the bear.[(triple8)] The dog sees the lion.[(triple9)] The lion eats the squirrel.[(triple10)] The lion sees the bear.[(triple11)] The squirrel chases the dog.[(triple12)] The squirrel chases the lion.[(triple13)] The squirrel eats the bear.[(triple14)] The squirrel eats the dog.[(triple15)] The squirrel is green.[(triple16)] @1: The dog eats the squirrel.[(((triple2) -> rule1))] The dog is nice.[(((triple9) -> rule2))]