The cow likes the squirrel. The dog visits the cow. The rabbit is round. The squirrel does not like the rabbit. If something needs the rabbit and it is rough then it visits the cow. If something likes the dog and it does not need the dog then it visits the rabbit. If something needs the rabbit then the rabbit is nice. If something likes the dog and the dog is nice then it needs the rabbit. If the cow likes the squirrel and the squirrel does not like the rabbit then the squirrel likes the dog. If something likes the squirrel then it is not young. If something visits the rabbit and it needs the dog then it visits the squirrel. If something needs the cow then it does not like the squirrel.
The dog does not need the rabbit.
@0: The cow likes the squirrel.[(triple1)] The dog visits the cow.[(triple2)] The rabbit is round.[(triple3)] The squirrel does not like the rabbit.[(triple4)] @1: The cow is not young.[(((triple1) -> rule6))] The squirrel likes the dog.[(((triple1 triple4) -> rule5))]