The bear is rough. The bear likes the dog. The bear does not like the lion. The dog is not young. The dog likes the bear. The dog sees the lion. The lion eats the dog. The lion is not big. The lion is rough. The lion is not young. The lion likes the bear. The lion likes the dog. If the bear is big and the lion does not eat the bear then the bear is kind. If someone sees the lion then the lion eats the dog. If someone eats the lion then the lion does not eat the dog. If someone sees the dog then they like the bear. If someone is big then they see the lion. If someone is green and they do not like the lion then the lion does not see the bear.
The bear does not see the lion.
@0: The bear does not like the lion.[(triple3)] The bear is rough.[(triple1)] The bear likes the dog.[(triple2)] The dog is not young.[(triple4)] The dog likes the bear.[(triple5)] The dog sees the lion.[(triple6)] The lion eats the dog.[(triple7 OR ((triple6) -> rule2))] The lion is not big.[(triple8)] The lion is not young.[(triple10)] The lion is rough.[(triple9)] The lion likes the bear.[(triple11)] The lion likes the dog.[(triple12)]