The rabbit eats the tiger. The rabbit is big. The rabbit is blue. The rabbit is nice. The rabbit is rough. The rabbit is young. The rabbit likes the tiger. The rabbit sees the tiger. The tiger eats the rabbit. The tiger is big. The tiger is not nice. The tiger is rough. The tiger is young. The tiger does not like the rabbit. The tiger sees the rabbit. If something eats the tiger and it does not see the tiger then it is rough. If the tiger eats the rabbit and the rabbit sees the tiger then the tiger is rough. If something eats the tiger then the tiger is rough. If something sees the rabbit and it is not young then it is blue. If something sees the tiger then it does not like the rabbit. If something likes the tiger and the tiger is nice then the tiger does not see the rabbit.
The tiger is not blue.
@0: The rabbit eats the tiger.[(triple1)] The rabbit is big.[(triple2)] The rabbit is blue.[(triple3)] The rabbit is nice.[(triple4)] The rabbit is rough.[(triple5)] The rabbit is young.[(triple6)] The rabbit likes the tiger.[(triple7)] The rabbit sees the tiger.[(triple8)] The tiger does not like the rabbit.[(triple14)] The tiger eats the rabbit.[(triple9)] The tiger is big.[(triple10)] The tiger is not nice.[(triple11)] The tiger is rough.[(triple12 OR ((triple1) -> rule3) OR ((triple9 triple8) -> rule2))] The tiger is young.[(triple13)] The tiger sees the rabbit.[(triple15)] @1: The rabbit does not like the rabbit.[(((triple8) -> rule5))]