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