The dog chases the rabbit. The dog is not big. The dog is cold. The dog is green. The dog is nice. The dog needs the rabbit. The dog sees the rabbit. The rabbit does not chase the dog. The rabbit is not big. The rabbit is not cold. The rabbit is green. The rabbit is nice. The rabbit is not rough. The rabbit needs the dog. The rabbit sees the dog. If something needs the dog then it is green. If the rabbit needs the dog then the dog chases the rabbit. If the dog needs the rabbit and the dog is not green then the dog is big. If something sees the dog and it needs the rabbit then the rabbit does not see the dog. If the dog does not chase the rabbit then the dog needs the rabbit. If something chases the dog and it is cold then the dog needs the rabbit. If the rabbit is cold and the rabbit does not see the dog then the dog sees the rabbit. If something sees the rabbit and it is not cold then it is nice.
The dog does not need the dog.
@0: The dog chases the rabbit.[(triple1 OR ((triple14) -> rule2))] The dog is cold.[(triple3)] The dog is green.[(triple4)] The dog is nice.[(triple5)] The dog is not big.[(triple2)] The dog needs the rabbit.[(triple6)] The dog sees the rabbit.[(triple7)] The rabbit does not chase the dog.[(triple8)] The rabbit is green.[(triple11 OR ((triple14) -> rule1))] The rabbit is nice.[(triple12)] The rabbit is not big.[(triple9)] The rabbit is not cold.[(triple10)] The rabbit is not rough.[(triple13)] The rabbit needs the dog.[(triple14)] The rabbit sees the dog.[(triple15)]