The rabbit chases the tiger. The rabbit is cold. The rabbit is not young. The tiger chases the rabbit. The tiger is red. The tiger is not rough. The tiger needs the rabbit. If something likes the tiger and the tiger likes the rabbit then it is not red. If the rabbit needs the tiger then the tiger likes the rabbit. If something likes the rabbit then the rabbit likes the tiger. If something chases the tiger then the tiger needs the rabbit. If the tiger likes the rabbit and the rabbit is rough then the tiger needs the rabbit. If something likes the tiger and it is not red then the tiger does not chase the rabbit.
The rabbit chases the tiger.
@0: The rabbit chases the tiger.[(triple1)] The rabbit is cold.[(triple2)] The rabbit is not young.[(triple3)] The tiger chases the rabbit.[(triple4)] The tiger is not rough.[(triple6)] The tiger is red.[(triple5)] The tiger needs the rabbit.[(triple7 OR ((triple1) -> rule4))]