The bear is nice. The bear is round. The bear does not need the lion. The bear visits the dog. The bear visits the lion. The dog is kind. The dog is nice. The dog is rough. The dog likes the bear. The dog likes the lion. The dog does not need the lion. The dog visits the lion. The lion is rough. The lion needs the bear. The lion visits the bear. The lion visits the dog. All round people are kind.
The bear likes the dog.
@0: The bear does not need the lion.[(triple3)] The bear is nice.[(triple1)] The bear is round.[(triple2)] The bear visits the dog.[(triple4)] The bear visits the lion.[(triple5)] The dog does not need the lion.[(triple11)] The dog is kind.[(triple6)] The dog is nice.[(triple7)] The dog is rough.[(triple8)] The dog likes the bear.[(triple9)] The dog likes the lion.[(triple10)] The dog visits the lion.[(triple12)] The lion is rough.[(triple13)] The lion needs the bear.[(triple14)] The lion visits the bear.[(triple15)] The lion visits the dog.[(triple16)] @1: The bear is kind.[(((triple2) -> rule1))]