The bear chases the squirrel. The bear eats the dog. The bear eats the squirrel. The bear is not round. The bear is young. The cat chases the bear. The cat eats the dog. The cat is red. The cat does not see the squirrel. The dog chases the squirrel. The dog eats the cat. The dog is nice. The dog is round. The dog is not young. The dog sees the cat. The squirrel eats the dog. If the cat does not see the squirrel then the cat eats the bear. If the cat eats the squirrel then the cat is round. If someone eats the dog and they are not young then the dog sees the cat.
The dog is not round.
@0: The bear chases the squirrel.[(triple1)] The bear eats the dog.[(triple2)] The bear eats the squirrel.[(triple3)] The bear is not round.[(triple4)] The bear is young.[(triple5)] The cat chases the bear.[(triple6)] The cat does not see the squirrel.[(triple9)] The cat eats the dog.[(triple7)] The cat is red.[(triple8)] The dog chases the squirrel.[(triple10)] The dog eats the cat.[(triple11)] The dog is nice.[(triple12)] The dog is not young.[(triple14)] The dog is round.[(triple13)] The dog sees the cat.[(triple15)] The squirrel eats the dog.[(triple16)] @1: The cat eats the bear.[(((triple9) -> rule1))]