The cow is nice. The cow likes the rabbit. The cow needs the dog. The cow needs the rabbit. The cow visits the dog. The cow visits the rabbit. The dog likes the rabbit. The dog needs the rabbit. The rabbit is nice. The rabbit likes the cow. The rabbit needs the dog. The rabbit visits the cow. If something is round and young then it visits the dog. If the rabbit needs the cow and the rabbit is young then the rabbit needs the dog. If something is round then it is young. If the rabbit is nice and the rabbit visits the cow then the cow visits the dog. If something is nice then it visits the rabbit. If something likes the dog then it needs the dog.
The rabbit does not need the dog.
@0: The cow is nice.[(triple1)] The cow likes the rabbit.[(triple2)] The cow needs the dog.[(triple3)] The cow needs the rabbit.[(triple4)] The cow visits the dog.[(triple5 OR ((triple9 triple12) -> rule4))] The cow visits the rabbit.[(triple6 OR ((triple1) -> rule5))] The dog likes the rabbit.[(triple7)] The dog needs the rabbit.[(triple8)] The rabbit is nice.[(triple9)] The rabbit likes the cow.[(triple10)] The rabbit needs the dog.[(triple11)] The rabbit visits the cow.[(triple12)] @1: The rabbit visits the rabbit.[(((triple9) -> rule5))]