The rabbit is not kind. The tiger chases the rabbit. The tiger visits the rabbit. If the tiger needs the rabbit and the rabbit does not visit the tiger then the tiger chases the rabbit. If something chases the rabbit and it needs the tiger then the tiger chases the rabbit. If something visits the tiger then it does not visit the rabbit. If the tiger is nice and the tiger visits the rabbit then the rabbit chases the tiger. If something chases the tiger and it chases the rabbit then it is kind. If something chases the rabbit then the rabbit is red.
The rabbit is not kind.
@0: The rabbit is not kind.[(triple1)] The tiger chases the rabbit.[(triple2)] The tiger visits the rabbit.[(triple3)] @1: The rabbit is red.[(((triple2) -> rule6))]