The bear chases the tiger. The bear is blue. The bear is kind. The bear is red. The bear is not round. The bear is young. The bear sees the tiger. The tiger is not blue. The tiger needs the bear. The tiger does not see the bear. If the bear sees the tiger and the tiger is kind then the tiger chases the bear. If someone chases the bear and the bear is not round then they are young. If the bear is round then the bear needs the tiger. If someone sees the bear then they do not need the tiger. If someone needs the bear then they are kind. If the tiger needs the bear and the tiger does not chase the bear then the bear does not chase the tiger.
The tiger is not kind.
@0: The bear chases the tiger.[(triple1)] The bear is blue.[(triple2)] The bear is kind.[(triple3)] The bear is not round.[(triple5)] The bear is red.[(triple4)] The bear is young.[(triple6)] The bear sees the tiger.[(triple7)] The tiger does not see the bear.[(triple10)] The tiger is not blue.[(triple8)] The tiger needs the bear.[(triple9)] @1: The tiger is kind.[(((triple9) -> rule5))] @2: The tiger chases the bear.[(((triple7 ((triple9) -> rule5)) -> rule1))] @3: The tiger is young.[(((((triple7 ((triple9) -> rule5)) -> rule1) triple5) -> rule2))]