The dog is not kind. The rabbit visits the squirrel. The squirrel needs the rabbit. If the squirrel likes the dog and the squirrel is young then the squirrel is not kind. If someone likes the dog and they are nice then the dog does not like the squirrel. If the dog is nice then the dog visits the squirrel. If someone needs the dog and the dog likes the rabbit then the rabbit is not rough. If the rabbit needs the squirrel then the squirrel is not rough. If someone visits the squirrel then they visit the rabbit.
The dog is not kind.
@0: The dog is not kind.[(triple1)] The rabbit visits the squirrel.[(triple2)] The squirrel needs the rabbit.[(triple3)] @1: The rabbit visits the rabbit.[(((triple2) -> rule6))]