The rabbit chases the tiger. The rabbit eats the tiger. The rabbit is big. The rabbit is green. The rabbit is red. The rabbit is not round. The rabbit is young. The rabbit likes the tiger. The tiger chases the rabbit. The tiger does not eat the rabbit. The tiger is big. The tiger is not green. The tiger is red. The tiger is young. The tiger likes the rabbit. If someone is young and they eat the tiger then they eat the rabbit. If the rabbit likes the tiger and the tiger does not chase the rabbit then the tiger does not eat the rabbit.
The rabbit chases the rabbit.
@0: The rabbit chases the tiger.[(triple1)] The rabbit eats the tiger.[(triple2)] The rabbit is big.[(triple3)] The rabbit is green.[(triple4)] The rabbit is not round.[(triple6)] The rabbit is red.[(triple5)] The rabbit is young.[(triple7)] The rabbit likes the tiger.[(triple8)] The tiger chases the rabbit.[(triple9)] The tiger does not eat the rabbit.[(triple10)] The tiger is big.[(triple11)] The tiger is not green.[(triple12)] The tiger is red.[(triple13)] The tiger is young.[(triple14)] The tiger likes the rabbit.[(triple15)] @1: The rabbit eats the rabbit.[(((triple7 triple2) -> rule1))]