The bear eats the lion. The bear is big. The bear is blue. The bear is red. The bear is rough. The bear is round. The bear needs the lion. The bear sees the lion. The lion eats the bear. The lion is big. The lion is blue. The lion is red. The lion is round. The lion needs the bear. The lion sees the bear. If the lion sees the bear and the bear is rough then the lion needs the bear.
The lion does not eat the lion.
@0: The bear eats the lion.[(triple1)] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is red.[(triple4)] The bear is rough.[(triple5)] The bear is round.[(triple6)] The bear needs the lion.[(triple7)] The bear sees the lion.[(triple8)] The lion eats the bear.[(triple9)] The lion is big.[(triple10)] The lion is blue.[(triple11)] The lion is red.[(triple12)] The lion is round.[(triple13)] The lion needs the bear.[(triple14 OR ((triple15 triple5) -> rule1))] The lion sees the bear.[(triple15)]