The cow is not round. The dog needs the cow. If something chases the cow then it is nice. If something needs the cow and it is not blue then it does not chase the dog. If something needs the cow then it does not visit the dog. If something needs the cow and it is not rough then it chases the cow. If something chases the cow and the cow is cold then the cow visits the dog. If something needs the cow then the cow does not visit the dog. If something visits the dog and it needs the dog then the dog visits the cow. If the cow does not chase the dog then the cow needs the dog.
The cow is not round.
@0: The cow is not round.[(triple1)] The dog needs the cow.[(triple2)] @1: The cow does not visit the dog.[(((triple2) -> rule6))] The dog does not visit the dog.[(((triple2) -> rule3))]