The bear is not big. The bear is not kind. The bear is red. The bear is round. The bear is young. The bear likes the tiger. The bear needs the tiger. The bear sees the tiger. The tiger is big. The tiger is kind. The tiger is not red. The tiger is round. The tiger is young. The tiger likes the bear. The tiger needs the bear. The tiger does not see the bear. If the bear is kind then the bear sees the tiger. If someone sees the bear and the bear is young then they need the tiger. If someone needs the tiger and the tiger is not young then the tiger does not see the bear. If someone needs the tiger and they are not kind then the tiger likes the bear. If the bear likes the tiger and the tiger is not young then the tiger does not like the bear. If someone likes the tiger and they see the bear then they are big.
The bear is red.
@0: The bear is not big.[(triple1)] The bear is not kind.[(triple2)] The bear is red.[(triple3)] The bear is round.[(triple4)] The bear is young.[(triple5)] The bear likes the tiger.[(triple6)] The bear needs the tiger.[(triple7)] The bear sees the tiger.[(triple8)] The tiger does not see the bear.[(triple16)] The tiger is big.[(triple9)] The tiger is kind.[(triple10)] The tiger is not red.[(triple11)] The tiger is round.[(triple12)] The tiger is young.[(triple13)] The tiger likes the bear.[(triple14 OR ((triple7 triple2) -> rule4))] The tiger needs the bear.[(triple15)]