The bear eats the lion. The bear is big. The bear is blue. The bear is not cold. The bear is green. The bear is red. 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 not cold. The lion is green. The lion is red. The lion does not need the bear. The lion sees the bear. If something sees the bear then it is red. If something sees the bear and it is cold then the bear needs the lion. If something eats the bear and it is not red then the bear is cold.
The bear is big.
@0: The bear eats the lion.[(triple1)] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is green.[(triple5)] The bear is not cold.[(triple4)] The bear is red.[(triple6)] The bear needs the lion.[(triple7)] The bear sees the lion.[(triple8)] The lion does not need the bear.[(triple15)] The lion eats the bear.[(triple9)] The lion is big.[(triple10)] The lion is blue.[(triple11)] The lion is green.[(triple13)] The lion is not cold.[(triple12)] The lion is red.[(triple14 OR ((triple16) -> rule1))] The lion sees the bear.[(triple16)]