The bear eats the dog. The bear is nice. The bear is rough. The bear visits the lion. The cat eats the dog. The cat is nice. The cat likes the dog. The cat visits the bear. The dog visits the bear. The dog visits the cat. The dog visits the lion. The lion eats the dog. The lion is nice. The lion likes the bear. The lion visits the bear. The lion visits the cat. If someone likes the lion and they are kind then they are rough. If someone visits the bear then the bear likes the dog. If someone likes the lion and the lion visits the cat then the lion likes the cat.
The cat does not eat the dog.
@0: The bear eats the dog.[(triple1)] The bear is nice.[(triple2)] The bear is rough.[(triple3)] The bear visits the lion.[(triple4)] The cat eats the dog.[(triple5)] The cat is nice.[(triple6)] The cat likes the dog.[(triple7)] The cat visits the bear.[(triple8)] The dog visits the bear.[(triple9)] The dog visits the cat.[(triple10)] The dog visits the lion.[(triple11)] The lion eats the dog.[(triple12)] The lion is nice.[(triple13)] The lion likes the bear.[(triple14)] The lion visits the bear.[(triple15)] The lion visits the cat.[(triple16)] @1: The bear likes the dog.[(((triple15) -> rule2) OR ((triple8) -> rule2) OR ((triple9) -> rule2))]