The bear eats the cat. The bear eats the squirrel. The bear is green. The bear sees the squirrel. The cat eats the dog. The cat sees the dog. The dog is round. The dog sees the cat. The dog visits the cat. The squirrel does not see the cat. If someone eats the bear and the bear does not visit the cat then the cat does not see the dog. If someone sees the cat then they do not see the bear. If someone visits the cat and they are kind then they do not see the dog. If someone is rough and they eat the dog then they eat the bear. If someone is rough and they eat the cat then the cat does not see the bear. If the bear eats the dog and the dog does not see the bear then the dog visits the bear.
The dog does not eat the bear.
@0: The bear eats the cat.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is green.[(triple3)] The bear sees the squirrel.[(triple4)] The cat eats the dog.[(triple5)] The cat sees the dog.[(triple6)] The dog is round.[(triple7)] The dog sees the cat.[(triple8)] The dog visits the cat.[(triple9)] The squirrel does not see the cat.[(triple10)] @1: The dog does not see the bear.[(((triple8) -> rule2))]