The bear chases the dog. The bear is green. The bear sees the dog. The bear sees the lion. The bear visits the lion. The dog is red. The dog is young. The lion is kind. The lion sees the tiger. The lion visits the bear. The tiger does not chase the bear. The tiger chases the dog. The tiger is green. The tiger does not see the bear. The tiger does not visit the dog. The tiger does not visit the lion. If someone visits the tiger and they chase the tiger then the tiger visits the bear. If someone visits the dog and the dog is kind then they see the bear. If the tiger chases the dog then the dog visits the bear. All blue people are kind. If the dog visits the bear then the bear is not blue. If someone sees the lion then the lion sees the dog.
The tiger does not chase the bear.
@0: The bear chases the dog.[(triple1)] The bear is green.[(triple2)] The bear sees the dog.[(triple3)] The bear sees the lion.[(triple4)] The bear visits the lion.[(triple5)] The dog is red.[(triple6)] The dog is young.[(triple7)] The lion is kind.[(triple8)] The lion sees the tiger.[(triple9)] The lion visits the bear.[(triple10)] The tiger chases the dog.[(triple12)] The tiger does not chase the bear.[(triple11)] The tiger does not see the bear.[(triple14)] The tiger does not visit the dog.[(triple15)] The tiger does not visit the lion.[(triple16)] The tiger is green.[(triple13)] @1: The dog visits the bear.[(((triple12) -> rule3))] The lion sees the dog.[(((triple4) -> rule6))] @2: The bear is not blue.[(((((triple12) -> rule3)) -> rule5))]