The rabbit eats the tiger. The rabbit likes the tiger. The tiger chases the rabbit. If someone likes the tiger then they chase the tiger. If the rabbit is nice and the rabbit likes the tiger then the tiger does not chase the rabbit. If someone is green and they chase the rabbit then they eat the rabbit. If someone is green and they like the rabbit then the rabbit chases the tiger. If someone is young and they do not eat the rabbit then they do not eat the tiger. If the tiger is nice and the tiger does not eat the rabbit then the tiger does not like the rabbit. If someone eats the tiger then the tiger likes the rabbit. If someone chases the tiger then they are round.
The rabbit chases the tiger.
@0: The rabbit eats the tiger.[(triple1)] The rabbit likes the tiger.[(triple2)] The tiger chases the rabbit.[(triple3)] @1: The rabbit chases the tiger.[(((triple2) -> rule1))] The tiger likes the rabbit.[(((triple1) -> rule7))] @2: The rabbit is round.[(((((triple2) -> rule1)) -> rule8))]