The bear eats the tiger. The bear is big. The bear is kind. The bear is nice. The tiger chases the bear. The tiger eats the bear. The tiger is big. The tiger is kind. The tiger is nice. The tiger is round. The tiger is young. The tiger needs the bear. If something chases the tiger then the tiger eats the bear. If something is round and big then it needs the bear. If something eats the tiger and it needs the bear then the bear chases the tiger. If the tiger eats the bear and the bear chases the tiger then the bear is kind. If something is young and it eats the tiger then the tiger needs the bear. If something is big and it needs the tiger then it needs the bear. If something needs the bear and it eats the tiger then the bear is young. If something chases the tiger and it needs the bear then the bear needs the tiger.
The tiger eats the bear.
@0: The bear eats the tiger.[(triple1)] The bear is big.[(triple2)] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The tiger chases the bear.[(triple5)] The tiger eats the bear.[(triple6)] The tiger is big.[(triple7)] The tiger is kind.[(triple8)] The tiger is nice.[(triple9)] The tiger is round.[(triple10)] The tiger is young.[(triple11)] The tiger needs the bear.[(triple12 OR ((triple10 triple7) -> rule2))]