The bear is green. The bear does not like the rabbit. The dog is young. The dog likes the rabbit. The lion visits the rabbit. The rabbit likes the bear. The rabbit visits the bear. If the bear likes the dog then the dog likes the bear. If someone likes the dog then the dog is not nice. If someone visits the rabbit then the rabbit visits the dog. If someone is green and they visit the dog then the dog likes the rabbit. If someone is green then they do not like the bear. If someone likes the lion then they visit the bear. If someone visits the dog and they are not young then the dog visits the lion. If someone visits the rabbit then they do not visit the lion.
The lion visits the rabbit.
@0: The bear does not like the rabbit.[(triple2)] The bear is green.[(triple1)] The dog is young.[(triple3)] The dog likes the rabbit.[(triple4)] The lion visits the rabbit.[(triple5)] The rabbit likes the bear.[(triple6)] The rabbit visits the bear.[(triple7)] @1: The bear does not like the bear.[(((triple1) -> rule5))] The lion does not visit the lion.[(((triple5) -> rule8))] The rabbit visits the dog.[(((triple5) -> rule3))]