The bear eats the lion. The bear is kind. The bear needs the tiger. The lion eats the bear. The lion is kind. The lion needs the bear. The lion needs the tiger. The lion sees the tiger. The tiger does not eat the bear. The tiger is round. The tiger needs the bear. The tiger needs the lion. If someone eats the tiger then the tiger sees the lion. If the bear needs the tiger then the bear eats the lion. If someone needs the lion and they do not need the bear then they need the tiger.
The tiger is big.
@0: The bear eats the lion.[(triple1 OR ((triple3) -> rule2))] The bear is kind.[(triple2)] The bear needs the tiger.[(triple3)] The lion eats the bear.[(triple4)] The lion is kind.[(triple5)] The lion needs the bear.[(triple6)] The lion needs the tiger.[(triple7)] The lion sees the tiger.[(triple8)] The tiger does not eat the bear.[(triple9)] The tiger is round.[(triple10)] The tiger needs the bear.[(triple11)] The tiger needs the lion.[(triple12)]