The rabbit chases the tiger. The rabbit is blue. The rabbit is cold. The rabbit is green. The rabbit is red. The rabbit is rough. The rabbit likes the tiger. The rabbit needs the tiger. The tiger chases the rabbit. The tiger is cold. The tiger is green. The tiger is red. The tiger is rough. The tiger likes the rabbit. The tiger needs the rabbit. If something is green then it chases the rabbit. If something chases the tiger and it likes the rabbit then the tiger needs the rabbit.
The rabbit does not chase the tiger.
@0: The rabbit chases the tiger.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is cold.[(triple3)] The rabbit is green.[(triple4)] The rabbit is red.[(triple5)] The rabbit is rough.[(triple6)] The rabbit likes the tiger.[(triple7)] The rabbit needs the tiger.[(triple8)] The tiger chases the rabbit.[(triple9 OR ((triple11) -> rule1))] The tiger is cold.[(triple10)] The tiger is green.[(triple11)] The tiger is red.[(triple12)] The tiger is rough.[(triple13)] The tiger likes the rabbit.[(triple14)] The tiger needs the rabbit.[(triple15)] @1: The rabbit chases the rabbit.[(((triple4) -> rule1))]