The lion is not green. The lion is not kind. The lion is nice. The lion is red. The lion is young. The lion likes the rabbit. The lion needs the rabbit. The lion does not visit the rabbit. The rabbit is not green. The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit likes the lion. The rabbit needs the lion. The rabbit visits the lion. If the lion likes the rabbit and the rabbit is not nice then the rabbit likes the lion. All kind things are not green. If something likes the rabbit then the rabbit is not young. If the lion is not nice then the lion needs the rabbit. If something visits the rabbit then it visits the lion. If something is young then it likes the lion.
The rabbit visits the rabbit.
@0: The lion does not visit the rabbit.[(triple8)] The lion is nice.[(triple3)] The lion is not green.[(triple1)] The lion is not kind.[(triple2)] The lion is red.[(triple4)] The lion is young.[(triple5)] The lion likes the rabbit.[(triple6)] The lion needs the rabbit.[(triple7)] The rabbit is kind.[(triple10)] The rabbit is nice.[(triple11)] The rabbit is not green.[(triple9 OR ((triple10) -> rule2))] The rabbit is red.[(triple12)] The rabbit likes the lion.[(triple13)] The rabbit needs the lion.[(triple14)] The rabbit visits the lion.[(triple15)] @1: The lion likes the lion.[(((triple5) -> rule6))] The rabbit is not young.[(((triple6) -> rule3))]