The bear chases the tiger. The bear is not big. The bear is cold. The bear is red. The bear is young. The bear needs the tiger. The bear does not see the tiger. The tiger chases the bear. The tiger is big. The tiger is cold. The tiger is kind. The tiger is red. The tiger is young. The tiger does not need the bear. The tiger sees the bear. If someone needs the tiger and they are cold then the tiger chases the bear. If the tiger needs the bear then the tiger chases the bear. If the bear chases the tiger then the tiger chases the bear. If someone chases the tiger and the tiger does not see the bear then the tiger chases the bear. If the tiger is cold then the tiger is big. If the bear needs the tiger then the bear is kind. If the bear sees the tiger and the tiger sees the bear then the tiger is red. If someone chases the bear then they see the tiger.
The bear is red.
@0: The bear chases the tiger.[(triple1)] The bear does not see the tiger.[(triple7)] The bear is cold.[(triple3)] The bear is not big.[(triple2)] The bear is red.[(triple4)] The bear is young.[(triple5)] The bear needs the tiger.[(triple6)] The tiger chases the bear.[(triple8 OR ((triple1) -> rule3) OR ((triple6 triple3) -> rule1))] The tiger does not need the bear.[(triple14)] The tiger is big.[(triple9 OR ((triple10) -> rule5))] The tiger is cold.[(triple10)] The tiger is kind.[(triple11)] The tiger is red.[(triple12)] The tiger is young.[(triple13)] The tiger sees the bear.[(triple15)] @1: The bear is kind.[(((triple6) -> rule6))] The tiger sees the tiger.[(((triple8) -> rule8) OR ((((triple1) -> rule3)) -> rule8) OR ((((triple6 triple3) -> rule1)) -> rule8))]