The bear is green. The bear is nice. The bear is young. The lion chases the bear. The lion is nice. The lion is red. The lion needs the tiger. The tiger chases the bear. The tiger chases the lion. The tiger eats the bear. The tiger eats the lion. The tiger is blue. The tiger is green. The tiger is nice. The tiger is young. If the tiger is nice and the tiger eats the lion then the lion chases the bear.
The tiger does not chase the tiger.
@0: The bear is green.[(triple1)] The bear is nice.[(triple2)] The bear is young.[(triple3)] The lion chases the bear.[(triple4 OR ((triple14 triple11) -> rule1))] The lion is nice.[(triple5)] The lion is red.[(triple6)] The lion needs the tiger.[(triple7)] The tiger chases the bear.[(triple8)] The tiger chases the lion.[(triple9)] The tiger eats the bear.[(triple10)] The tiger eats the lion.[(triple11)] The tiger is blue.[(triple12)] The tiger is green.[(triple13)] The tiger is nice.[(triple14)] The tiger is young.[(triple15)]