The rabbit chases the tiger. The rabbit eats the tiger. The rabbit is cold. The rabbit is nice. The rabbit is red. The rabbit is rough. The rabbit is young. The rabbit needs the tiger. The tiger chases the rabbit. The tiger eats the rabbit. The tiger is cold. The tiger is nice. The tiger is red. The tiger is rough. The tiger is young. The tiger needs the rabbit. If something is nice then it eats the rabbit.
The tiger is nice.
@0: The rabbit chases the tiger.[(triple1)] The rabbit eats the tiger.[(triple2)] The rabbit is cold.[(triple3)] The rabbit is nice.[(triple4)] The rabbit is red.[(triple5)] The rabbit is rough.[(triple6)] The rabbit is young.[(triple7)] The rabbit needs the tiger.[(triple8)] The tiger chases the rabbit.[(triple9)] The tiger eats the rabbit.[(triple10 OR ((triple12) -> rule1))] The tiger is cold.[(triple11)] The tiger is nice.[(triple12)] The tiger is red.[(triple13)] The tiger is rough.[(triple14)] The tiger is young.[(triple15)] The tiger needs the rabbit.[(triple16)] @1: The rabbit eats the rabbit.[(((triple4) -> rule1))]