The cow does not chase the dog. The cow is green. The cow needs the rabbit. The dog does not chase the cow. The dog chases the rabbit. The dog is green. The dog is kind. The dog is red. The dog is round. The dog is young. The dog needs the cow. The dog needs the rabbit. The dog visits the cow. The dog visits the rabbit. The rabbit chases the dog. The rabbit needs the cow. If someone visits the dog then they are young. If someone visits the rabbit then they need the cow. If someone needs the dog and the dog is kind then they are kind.
The cow does not need the cow.
@0: The cow does not chase the dog.[(triple1)] The cow is green.[(triple2)] The cow needs the rabbit.[(triple3)] The dog chases the rabbit.[(triple5)] The dog does not chase the cow.[(triple4)] The dog is green.[(triple6)] The dog is kind.[(triple7)] The dog is red.[(triple8)] The dog is round.[(triple9)] The dog is young.[(triple10)] The dog needs the cow.[(triple11 OR ((triple14) -> rule2))] The dog needs the rabbit.[(triple12)] The dog visits the cow.[(triple13)] The dog visits the rabbit.[(triple14)] The rabbit chases the dog.[(triple15)] The rabbit needs the cow.[(triple16)]