The bear does not chase the tiger. The bear is young. The bear likes the dog. The bear visits the dog. The cat chases the bear. The cat is green. The cat is rough. The cat likes the bear. The cat likes the dog. The cat does not visit the bear. The cat visits the tiger. The dog chases the cat. The dog likes the cat. The dog visits the bear. The tiger likes the bear. The tiger does not visit the dog. If something chases the tiger and it is kind then the tiger is not nice. If something chases the bear then the bear is rough. Rough, kind things are nice. If something chases the bear then it is not nice. If the dog likes the cat then the dog does not like the tiger. If something likes the dog then it likes the bear.
The dog visits the bear.
@0: The bear does not chase the tiger.[(triple1)] The bear is young.[(triple2)] The bear likes the dog.[(triple3)] The bear visits the dog.[(triple4)] The cat chases the bear.[(triple5)] The cat does not visit the bear.[(triple10)] The cat is green.[(triple6)] The cat is rough.[(triple7)] The cat likes the bear.[(triple8 OR ((triple9) -> rule6))] The cat likes the dog.[(triple9)] The cat visits the tiger.[(triple11)] The dog chases the cat.[(triple12)] The dog likes the cat.[(triple13)] The dog visits the bear.[(triple14)] The tiger does not visit the dog.[(triple16)] The tiger likes the bear.[(triple15)] @1: The bear is rough.[(((triple5) -> rule2))] The bear likes the bear.[(((triple3) -> rule6))] The cat is not nice.[(((triple5) -> rule4))] The dog does not like the tiger.[(((triple13) -> rule5))]