The bear is cold. The bear is red. The bear is rough. The bear is round. The bear is young. The bear likes the tiger. The bear needs the tiger. The bear does not see the tiger. The tiger is cold. The tiger is red. The tiger is rough. The tiger is round. The tiger is young. The tiger does not like the bear. The tiger does not need the bear. The tiger sees the bear. If something needs the tiger then the tiger does not like the bear. If something is cold then it sees the bear. If something needs the tiger and it does not see the bear then it likes the tiger.
The tiger is young.
@0: The bear does not see the tiger.[(triple8)] The bear is cold.[(triple1)] The bear is red.[(triple2)] The bear is rough.[(triple3)] The bear is round.[(triple4)] The bear is young.[(triple5)] The bear likes the tiger.[(triple6)] The bear needs the tiger.[(triple7)] The tiger does not like the bear.[(triple14 OR ((triple7) -> rule1))] The tiger does not need the bear.[(triple15)] The tiger is cold.[(triple9)] The tiger is red.[(triple10)] The tiger is rough.[(triple11)] The tiger is round.[(triple12)] The tiger is young.[(triple13)] The tiger sees the bear.[(triple16 OR ((triple9) -> rule2))] @1: The bear sees the bear.[(((triple1) -> rule2))]