The bear eats the tiger. The bear is blue. The bear is green. The bear is nice. The bear is rough. The bear is young. The bear needs the tiger. The bear sees the tiger. The tiger eats the bear. The tiger is blue. The tiger is green. The tiger is nice. The tiger is rough. The tiger is young. The tiger needs the bear. The tiger sees the bear. If something is rough then it eats the tiger. If the tiger is rough and the tiger sees the bear then the tiger eats the bear. If something is blue then it eats the bear. If something sees the tiger and it needs the tiger then the tiger is young. All rough things are blue. If the tiger is green then the tiger is nice.
The bear sees the bear.
@0: The bear eats the tiger.[(triple1 OR ((triple5) -> rule1))] The bear is blue.[(triple2 OR ((triple5) -> rule5))] The bear is green.[(triple3)] The bear is nice.[(triple4)] The bear is rough.[(triple5)] The bear is young.[(triple6)] The bear needs the tiger.[(triple7)] The bear sees the tiger.[(triple8)] The tiger eats the bear.[(triple9 OR ((triple10) -> rule3) OR ((triple13 triple16) -> rule2) OR ((((triple13) -> rule5)) -> rule3))] The tiger is blue.[(triple10 OR ((triple13) -> rule5))] The tiger is green.[(triple11)] The tiger is nice.[(triple12 OR ((triple11) -> rule6))] The tiger is rough.[(triple13)] The tiger is young.[(triple14 OR ((triple8 triple7) -> rule4))] The tiger needs the bear.[(triple15)] The tiger sees the bear.[(triple16)] @1: The bear eats the bear.[(((triple2) -> rule3) OR ((((triple5) -> rule5)) -> rule3))] The tiger eats the tiger.[(((triple13) -> rule1))]