The rabbit chases the tiger. The rabbit likes the tiger. The rabbit visits the tiger. The tiger does not chase the rabbit. The tiger is green. The tiger likes the rabbit. The tiger does not visit the rabbit. If someone visits the tiger then they are not green.
The rabbit does not visit the tiger.
@0: The rabbit chases the tiger.[(triple1)] The rabbit likes the tiger.[(triple2)] The rabbit visits the tiger.[(triple3)] The tiger does not chase the rabbit.[(triple4)] The tiger does not visit the rabbit.[(triple7)] The tiger is green.[(triple5)] The tiger likes the rabbit.[(triple6)] @1: The rabbit is not green.[(((triple3) -> rule1))]