The rabbit eats the tiger. The rabbit is cold. The rabbit is nice. The rabbit likes the tiger. The rabbit needs the tiger. The tiger eats the rabbit. The tiger is blue. The tiger is cold. The tiger is nice. The tiger is red. The tiger likes the rabbit. The tiger needs the rabbit. If something eats the rabbit then it is blue.
The tiger needs the tiger.
@0: The rabbit eats the tiger.[(triple1)] The rabbit is cold.[(triple2)] The rabbit is nice.[(triple3)] The rabbit likes the tiger.[(triple4)] The rabbit needs the tiger.[(triple5)] The tiger eats the rabbit.[(triple6)] The tiger is blue.[(triple7 OR ((triple6) -> rule1))] The tiger is cold.[(triple8)] The tiger is nice.[(triple9)] The tiger is red.[(triple10)] The tiger likes the rabbit.[(triple11)] The tiger needs the rabbit.[(triple12)]