The bear is cold. The bear is kind. The bear is nice. The bear is red. The bear is young. The bear likes the tiger. The bear needs the tiger. The bear sees the tiger. The tiger is cold. The tiger is kind. The tiger is nice. The tiger is red. The tiger is young. The tiger likes the bear. The tiger needs the bear. The tiger sees the bear. If something sees the tiger and it needs the tiger then it is nice. If the tiger needs the bear then the bear is kind. If something is cold and it sees the bear then the bear likes the tiger. If something likes the bear then the bear is young. If something needs the bear then it is cold. If the bear likes the tiger and the tiger is cold then the tiger is red.
The tiger needs the tiger.
@0: The bear is cold.[(triple1)] The bear is kind.[(triple2 OR ((triple15) -> rule2))] The bear is nice.[(triple3 OR ((triple8 triple7) -> rule1))] The bear is red.[(triple4)] The bear is young.[(triple5 OR ((triple14) -> rule4))] The bear likes the tiger.[(triple6 OR ((triple9 triple16) -> rule3) OR ((((triple15) -> rule5) triple16) -> rule3))] The bear needs the tiger.[(triple7)] The bear sees the tiger.[(triple8)] The tiger is cold.[(triple9 OR ((triple15) -> rule5))] The tiger is kind.[(triple10)] The tiger is nice.[(triple11)] The tiger is red.[(triple12 OR ((triple6 triple9) -> rule6) OR ((triple6 ((triple15) -> rule5)) -> rule6) OR ((((triple9 triple16) -> rule3) triple9) -> rule6) OR ((((triple9 triple16) -> rule3) ((triple15) -> rule5)) -> rule6) OR ((((((triple15) -> rule5) triple16) -> rule3) triple9) -> rule6) OR ((((((triple15) -> rule5) triple16) -> rule3) ((triple15) -> rule5)) -> rule6))] The tiger is young.[(triple13)] The tiger likes the bear.[(triple14)] The tiger needs the bear.[(triple15)] The tiger sees the bear.[(triple16)]