The bear chases the lion. The bear needs the dog. The bear needs the lion. The bear visits the dog. The bear visits the lion. The dog is red. The dog needs the lion. The dog visits the bear. The dog visits the lion. The lion chases the bear. The lion chases the dog. The lion is kind. The lion is red. The lion needs the dog. The lion visits the bear. If someone chases the dog then the dog is cold. If someone needs the bear and they need the dog then they need the lion. If someone chases the dog and the dog needs the bear then the bear needs the dog. If the lion chases the bear and the bear chases the dog then the bear chases the lion. If someone chases the dog then the dog visits the bear. If someone is rough then they visit the dog. If someone is cold then they need the dog. If the lion is red then the lion visits the bear.
The bear is kind.
@0: The bear chases the lion.[(triple1)] The bear needs the dog.[(triple2)] The bear needs the lion.[(triple3)] The bear visits the dog.[(triple4)] The bear visits the lion.[(triple5)] The dog is red.[(triple6)] The dog needs the lion.[(triple7)] The dog visits the bear.[(triple8 OR ((triple11) -> rule5))] The dog visits the lion.[(triple9)] The lion chases the bear.[(triple10)] The lion chases the dog.[(triple11)] The lion is kind.[(triple12)] The lion is red.[(triple13)] The lion needs the dog.[(triple14)] The lion visits the bear.[(triple15 OR ((triple13) -> rule8))] @1: The dog is cold.[(((triple11) -> rule1))] @2: The dog needs the dog.[(((((triple11) -> rule1)) -> rule7))]