The bear eats the tiger. The bear is green. The bear is nice. The bear is red. 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 green. The tiger is nice. The tiger is red. The tiger is rough. The tiger is young. The tiger needs the bear. The tiger sees the bear. If someone is young and they need the bear then they are nice. If someone is nice and they eat the tiger then the tiger sees the bear. If someone eats the bear then they are nice. If someone eats the tiger then they see the bear. If someone is red and they need the tiger then the tiger is green. If someone is green then they are rough. If someone is nice then they eat the tiger. If someone eats the tiger and they see the tiger then they are green.
The bear does not eat the bear.
@0: The bear eats the tiger.[(triple1 OR ((triple3) -> rule7))] The bear is green.[(triple2 OR ((triple1 triple8) -> rule8) OR ((((triple3) -> rule7) triple8) -> rule8))] The bear is nice.[(triple3)] The bear is red.[(triple4)] The bear is rough.[(triple5 OR ((triple2) -> rule6) OR ((((triple1 triple8) -> rule8)) -> rule6) OR ((((((triple3) -> rule7) triple8) -> rule8)) -> rule6))] The bear is young.[(triple6)] The bear needs the tiger.[(triple7)] The bear sees the tiger.[(triple8)] The tiger eats the bear.[(triple9)] The tiger is green.[(triple10 OR ((triple4 triple7) -> rule5))] The tiger is nice.[(triple11 OR ((triple9) -> rule3) OR ((triple14 triple15) -> rule1))] The tiger is red.[(triple12)] The tiger is rough.[(triple13 OR ((triple10) -> rule6) OR ((((triple4 triple7) -> rule5)) -> rule6))] The tiger is young.[(triple14)] The tiger needs the bear.[(triple15)] The tiger sees the bear.[(triple16 OR ((triple3 triple1) -> rule2) OR ((((triple11) -> rule7)) -> rule4) OR ((triple11 ((triple11) -> rule7)) -> rule2) OR ((triple3 ((triple3) -> rule7)) -> rule2) OR ((((triple9) -> rule3) ((triple11) -> rule7)) -> rule2) OR ((((triple14 triple15) -> rule1) ((triple11) -> rule7)) -> rule2) OR ((((((triple9) -> rule3)) -> rule7)) -> rule4) OR ((((((triple14 triple15) -> rule1)) -> rule7)) -> rule4) OR ((triple11 ((((triple9) -> rule3)) -> rule7)) -> rule2) OR ((triple11 ((((triple14 triple15) -> rule1)) -> rule7)) -> rule2) OR ((((triple9) -> rule3) ((((triple9) -> rule3)) -> rule7)) -> rule2) OR ((((triple9) -> rule3) ((((triple14 triple15) -> rule1)) -> rule7)) -> rule2) OR ((((triple14 triple15) -> rule1) ((((triple9) -> rule3)) -> rule7)) -> rule2) OR ((((triple14 triple15) -> rule1) ((((triple14 triple15) -> rule1)) -> rule7)) -> rule2))] @1: The bear sees the bear.[(((triple1) -> rule4) OR ((((triple3) -> rule7)) -> rule4))] The tiger eats the tiger.[(((triple11) -> rule7) OR ((((triple9) -> rule3)) -> rule7) OR ((((triple14 triple15) -> rule1)) -> rule7))]