The lion chases the rabbit. The lion is blue. The lion is not kind. The lion is nice. The lion is red. The lion is young. The lion needs the rabbit. The lion visits the rabbit. The rabbit does not chase the lion. The rabbit is blue. The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit is not young. The rabbit needs the lion. The rabbit visits the lion. If something chases the rabbit then it visits the rabbit. If something needs the rabbit and it chases the rabbit then the rabbit visits the lion. If something visits the rabbit and it is not nice then the rabbit chases the lion.
The lion visits the rabbit.
@0: The lion chases the rabbit.[(triple1)] The lion is blue.[(triple2)] The lion is nice.[(triple4)] The lion is not kind.[(triple3)] The lion is red.[(triple5)] The lion is young.[(triple6)] The lion needs the rabbit.[(triple7)] The lion visits the rabbit.[(triple8 OR ((triple1) -> rule1))] The rabbit does not chase the lion.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is kind.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is not young.[(triple14)] The rabbit is red.[(triple13)] The rabbit needs the lion.[(triple15)] The rabbit visits the lion.[(triple16 OR ((triple7 triple1) -> rule2))]