The dog chases the lion. The dog is nice. The lion does not chase the dog. The lion does not chase the rabbit. The lion needs the rabbit. The rabbit does not chase the dog. The rabbit chases the lion. The rabbit does not eat the dog. The rabbit eats the lion. The rabbit is not cold. The rabbit is nice. The rabbit is red. The rabbit is not round. The rabbit needs the dog. The rabbit does not need the lion. If something is big and it does not eat the rabbit then the rabbit eats the dog. If something eats the lion then the lion is nice. If something is round then it does not chase the dog. If something needs the rabbit and it eats the rabbit then the rabbit is red. If something needs the dog then the dog is nice. If something needs the dog and it is big then it is nice.
The lion does not chase the lion.
@0: The dog chases the lion.[(triple1)] The dog is nice.[(triple2 OR ((triple14) -> rule5))] The lion does not chase the dog.[(triple3)] The lion does not chase the rabbit.[(triple4)] The lion needs the rabbit.[(triple5)] The rabbit chases the lion.[(triple7)] The rabbit does not chase the dog.[(triple6)] The rabbit does not eat the dog.[(triple8)] The rabbit does not need the lion.[(triple15)] The rabbit eats the lion.[(triple9)] The rabbit is nice.[(triple11)] The rabbit is not cold.[(triple10)] The rabbit is not round.[(triple13)] The rabbit is red.[(triple12)] The rabbit needs the dog.[(triple14)] @1: The lion is nice.[(((triple9) -> rule2))]