The bear eats the lion. The bear is not big. The bear is green. The bear is kind. The bear is not red. The bear is round. The bear likes the lion. The bear does not see the lion. The lion eats the bear. The lion is big. The lion is not green. The lion is kind. The lion is red. The lion is round. The lion likes the bear. The lion sees the bear. If someone eats the bear then the bear likes the lion.
The bear does not like the lion.
@0: The bear does not see the lion.[(triple8)] The bear eats the lion.[(triple1)] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear is not big.[(triple2)] The bear is not red.[(triple5)] The bear is round.[(triple6)] The bear likes the lion.[(triple7 OR ((triple9) -> rule1))] The lion eats the bear.[(triple9)] The lion is big.[(triple10)] The lion is kind.[(triple12)] The lion is not green.[(triple11)] The lion is red.[(triple13)] The lion is round.[(triple14)] The lion likes the bear.[(triple15)] The lion sees the bear.[(triple16)]