The bear does not chase the cat. The bear sees the cat. The bear does not see the dog. The bear visits the dog. The cat chases the tiger. The cat is rough. The cat sees the dog. The dog is green. The dog sees the cat. The dog does not visit the tiger. The tiger does not chase the bear. The tiger chases the cat. The tiger is young. The tiger sees the bear. The tiger sees the dog. If someone is rough then they do not visit the tiger. If someone is rough and they see the bear then the bear does not see the dog.
The bear visits the dog.
@0: The bear does not chase the cat.[(triple1)] The bear does not see the dog.[(triple3)] The bear sees the cat.[(triple2)] The bear visits the dog.[(triple4)] The cat chases the tiger.[(triple5)] The cat is rough.[(triple6)] The cat sees the dog.[(triple7)] The dog does not visit the tiger.[(triple10)] The dog is green.[(triple8)] The dog sees the cat.[(triple9)] The tiger chases the cat.[(triple12)] The tiger does not chase the bear.[(triple11)] The tiger is young.[(triple13)] The tiger sees the bear.[(triple14)] The tiger sees the dog.[(triple15)] @1: The cat does not visit the tiger.[(((triple6) -> rule1))]