The rabbit chases the tiger. The rabbit is blue. The rabbit is rough. The rabbit is young. The rabbit needs the tiger. The rabbit sees the tiger. The tiger does not chase the rabbit. The tiger is blue. The tiger is not green. The tiger is red. The tiger needs the rabbit. The tiger sees the rabbit. If someone chases the rabbit then the rabbit is young. If someone sees the tiger then the tiger sees the rabbit.
The rabbit is young.
@0: The rabbit chases the tiger.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is rough.[(triple3)] The rabbit is young.[(triple4)] The rabbit needs the tiger.[(triple5)] The rabbit sees the tiger.[(triple6)] The tiger does not chase the rabbit.[(triple7)] The tiger is blue.[(triple8)] The tiger is not green.[(triple9)] The tiger is red.[(triple10)] The tiger needs the rabbit.[(triple11)] The tiger sees the rabbit.[(triple12 OR ((triple6) -> rule2))]