The rabbit eats the tiger. The rabbit is cold. The rabbit is green. The rabbit is kind. The rabbit is not nice. The rabbit likes the tiger. The rabbit needs the tiger. The tiger eats the rabbit. The tiger is not cold. The tiger is green. The tiger is not kind. The tiger is nice. The tiger is not young. The tiger likes the rabbit. The tiger needs the rabbit. If something needs the tiger and it eats the tiger then it likes the rabbit. If something needs the rabbit then the rabbit eats the tiger. If something likes the tiger and it likes the rabbit then it is not young.
The tiger does not like the tiger.
@0: The rabbit eats the tiger.[(triple1 OR ((triple15) -> rule2))] The rabbit is cold.[(triple2)] The rabbit is green.[(triple3)] The rabbit is kind.[(triple4)] The rabbit is not nice.[(triple5)] The rabbit likes the tiger.[(triple6)] The rabbit needs the tiger.[(triple7)] The tiger eats the rabbit.[(triple8)] The tiger is green.[(triple10)] The tiger is nice.[(triple12)] The tiger is not cold.[(triple9)] The tiger is not kind.[(triple11)] The tiger is not young.[(triple13)] The tiger likes the rabbit.[(triple14)] The tiger needs the rabbit.[(triple15)] @1: The rabbit likes the rabbit.[(((triple7 triple1) -> rule1) OR ((triple7 ((triple15) -> rule2)) -> rule1))] @2: The rabbit is not young.[(((triple6 ((triple7 triple1) -> rule1)) -> rule3) OR ((triple6 ((triple7 ((triple15) -> rule2)) -> rule1)) -> rule3))]