The rabbit is red. The tiger is kind. The tiger is young. If the tiger sees the rabbit then the tiger needs the rabbit. If someone needs the rabbit then the rabbit chases the tiger. If someone is young then they chase the tiger. If someone is red then they are young. If the tiger needs the rabbit then the tiger chases the rabbit. If someone chases the tiger and the tiger is blue then they are red.
The tiger is kind.
@0: The rabbit is red.[(triple1)] The tiger is kind.[(triple2)] The tiger is young.[(triple3)] @1: The rabbit is young.[(((triple1) -> rule4))] The tiger chases the tiger.[(((triple3) -> rule3))] @2: The rabbit chases the tiger.[(((((triple1) -> rule4)) -> rule3))]