The rabbit chases the tiger. The rabbit is cold. The rabbit is nice. The rabbit is rough. The rabbit is not round. The rabbit is young. The rabbit does not like the tiger. The rabbit needs the tiger. The tiger chases the rabbit. The tiger is not cold. The tiger is nice. The tiger is rough. The tiger is round. The tiger likes the rabbit. The tiger does not need the rabbit. If the tiger is young then the tiger does not like the rabbit. If someone needs the rabbit then they do not chase the tiger. If someone chases the rabbit then they need the tiger. If someone chases the tiger and they chase the rabbit then the rabbit is round. If someone needs the tiger then the tiger is not cold. If someone likes the tiger then the tiger chases the rabbit. If someone likes the rabbit and they do not chase the tiger then the tiger chases the rabbit. If the tiger is nice then the tiger chases the rabbit.
The rabbit does not need the rabbit.
@0: The rabbit chases the tiger.[(triple1)] The rabbit does not like the tiger.[(triple7)] The rabbit is cold.[(triple2)] The rabbit is nice.[(triple3)] The rabbit is not round.[(triple5)] The rabbit is rough.[(triple4)] The rabbit is young.[(triple6)] The rabbit needs the tiger.[(triple8)] The tiger chases the rabbit.[(triple9 OR ((triple11) -> rule8))] The tiger does not need the rabbit.[(triple15)] The tiger is nice.[(triple11)] The tiger is not cold.[(triple10 OR ((triple8) -> rule5) OR ((((triple9) -> rule3)) -> rule5) OR ((((((triple11) -> rule8)) -> rule3)) -> rule5))] The tiger is rough.[(triple12)] The tiger is round.[(triple13)] The tiger likes the rabbit.[(triple14)] @1: The tiger needs the tiger.[(((triple9) -> rule3) OR ((((triple11) -> rule8)) -> rule3))]