The bear eats the lion. The bear is big. The bear is blue. The bear is cold. The bear is green. The bear is nice. The bear likes the lion. The bear needs the lion. The lion eats the bear. The lion is big. The lion is blue. The lion is cold. The lion is green. The lion is nice. The lion likes the bear. The lion needs the bear. If the lion is green and the lion is blue then the lion needs the bear. If someone needs the lion then the lion eats the bear.
The lion needs the lion.
@0: The bear eats the lion.[(triple1)] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is cold.[(triple4)] The bear is green.[(triple5)] The bear is nice.[(triple6)] The bear likes the lion.[(triple7)] The bear needs the lion.[(triple8)] The lion eats the bear.[(triple9 OR ((triple8) -> rule2))] The lion is big.[(triple10)] The lion is blue.[(triple11)] The lion is cold.[(triple12)] The lion is green.[(triple13)] The lion is nice.[(triple14)] The lion likes the bear.[(triple15)] The lion needs the bear.[(triple16 OR ((triple13 triple11) -> rule1))]