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