The bear is kind. The bear needs the lion. The bear visits the lion. The bear does not visit the rabbit. The lion does not chase the bear. The lion chases the rabbit. The lion is not blue. The lion is cold. The lion does not need the rabbit. The lion does not visit the bear. The lion visits the rabbit. The rabbit chases the bear. The rabbit is nice. The rabbit needs the bear. The rabbit visits the lion. If someone is nice then they chase the rabbit.
The bear does not chase the rabbit.
@0: The bear does not visit the rabbit.[(triple4)] The bear is kind.[(triple1)] The bear needs the lion.[(triple2)] The bear visits the lion.[(triple3)] The lion chases the rabbit.[(triple6)] The lion does not chase the bear.[(triple5)] The lion does not need the rabbit.[(triple9)] The lion does not visit the bear.[(triple10)] The lion is cold.[(triple8)] The lion is not blue.[(triple7)] The lion visits the rabbit.[(triple11)] The rabbit chases the bear.[(triple12)] The rabbit is nice.[(triple13)] The rabbit needs the bear.[(triple14)] The rabbit visits the lion.[(triple15)] @1: The rabbit chases the rabbit.[(((triple13) -> rule1))]