The bear eats the lion. The bear is big. The bear is cold. The bear is red. The bear is rough. The bear likes the lion. The bear sees the lion. The lion eats the bear. The lion is big. The lion is cold. The lion is green. The lion is red. The lion is rough. The lion likes the bear. The lion sees the bear. If someone sees the bear and they are rough then the bear eats the lion.
The lion is not red.
@0: The bear eats the lion.[(triple1 OR ((triple15 triple13) -> rule1))] The bear is big.[(triple2)] The bear is cold.[(triple3)] The bear is red.[(triple4)] The bear is rough.[(triple5)] The bear likes the lion.[(triple6)] The bear sees the lion.[(triple7)] The lion eats the bear.[(triple8)] The lion is big.[(triple9)] The lion is cold.[(triple10)] The lion is green.[(triple11)] The lion is red.[(triple12)] The lion is rough.[(triple13)] The lion likes the bear.[(triple14)] The lion sees the bear.[(triple15)]