The rabbit eats the tiger. The rabbit is not kind. The rabbit is young. The rabbit visits the tiger. The tiger does not eat the rabbit. The tiger sees the rabbit. The tiger visits the rabbit. If something visits the tiger then the tiger is not red. If something is rough then it sees the tiger. If the rabbit sees the tiger and the tiger is not young then the tiger does not visit the rabbit.
The tiger does not see the rabbit.
@0: The rabbit eats the tiger.[(triple1)] The rabbit is not kind.[(triple2)] The rabbit is young.[(triple3)] The rabbit visits the tiger.[(triple4)] The tiger does not eat the rabbit.[(triple5)] The tiger sees the rabbit.[(triple6)] The tiger visits the rabbit.[(triple7)] @1: The tiger is not red.[(((triple4) -> rule1))]