The bear chases the cat. The bear is kind. The bear is nice. The bear is red. The bear is young. The bear needs the tiger. The bear visits the cat. The bear visits the tiger. The cat chases the tiger. The cat is red. The cat needs the tiger. The cat visits the bear. The cat visits the tiger. The tiger is young. The tiger does not visit the bear. The tiger visits the cat. If someone is rough then they visit the bear. If someone needs the bear and they do not chase the tiger then they are kind. If the cat does not chase the bear then the bear visits the tiger. If someone visits the tiger and the tiger chases the bear then the tiger chases the cat. If the bear is young and the tiger does not chase the bear then the tiger is kind. If someone visits the bear and the bear visits the tiger then the bear is rough.
The bear does not need the cat.
@0: The bear chases the cat.[(triple1)] The bear is kind.[(triple2)] The bear is nice.[(triple3)] The bear is red.[(triple4)] The bear is young.[(triple5)] The bear needs the tiger.[(triple6)] The bear visits the cat.[(triple7)] The bear visits the tiger.[(triple8)] The cat chases the tiger.[(triple9)] The cat is red.[(triple10)] The cat needs the tiger.[(triple11)] The cat visits the bear.[(triple12)] The cat visits the tiger.[(triple13)] The tiger does not visit the bear.[(triple15)] The tiger is young.[(triple14)] The tiger visits the cat.[(triple16)] @1: The bear is rough.[(((triple12 triple8) -> rule6))] @2: The bear visits the bear.[(((((triple12 triple8) -> rule6)) -> rule1))]