The rabbit chases the tiger. The rabbit is big. The tiger does not need the rabbit. If someone is blue and young then they chase the rabbit. If someone chases the tiger and they do not visit the tiger then the tiger is big. If the rabbit chases the tiger then the tiger chases the rabbit. If someone is young then they do not need the rabbit. If someone chases the tiger and the tiger is kind then they do not need the rabbit. If someone visits the tiger and the tiger visits the rabbit then they are not young. If someone chases the rabbit then they do not need the tiger. If someone is big then they are not blue.
The tiger does not visit the tiger.
@0: The rabbit chases the tiger.[(triple1)] The rabbit is big.[(triple2)] The tiger does not need the rabbit.[(triple3)] @1: The rabbit is not blue.[(((triple2) -> rule8))] The tiger chases the rabbit.[(((triple1) -> rule3))] @2: The tiger does not need the tiger.[(((((triple1) -> rule3)) -> rule7))]