The bear chases the tiger. The bear is blue. The bear is kind. The bear is round. The bear needs the tiger. The bear sees the tiger. The tiger is kind. The tiger is red. The tiger needs the bear. The tiger sees the bear. If something is round then it sees the bear. If something needs the bear then the bear is blue.
The tiger is rough.
@0: The bear chases the tiger.[(triple1)] The bear is blue.[(triple2 OR ((triple9) -> rule2))] The bear is kind.[(triple3)] The bear is round.[(triple4)] The bear needs the tiger.[(triple5)] The bear sees the tiger.[(triple6)] The tiger is kind.[(triple7)] The tiger is red.[(triple8)] The tiger needs the bear.[(triple9)] The tiger sees the bear.[(triple10)] @1: The bear sees the bear.[(((triple4) -> rule1))]