The bear eats the lion. The bear is green. 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 blue. The lion is green. The lion is rough. The lion likes the bear. The lion does not see the bear. If something likes the lion then it does not eat the bear. If something is big then it eats the bear. If something is rough then it is round.
The bear is blue.
@0: The bear does not see the lion.[(triple5)] The bear eats the lion.[(triple1)] The bear is green.[(triple2)] The bear is round.[(triple3)] The bear likes the lion.[(triple4)] The lion does not see the bear.[(triple12)] The lion eats the bear.[(triple6 OR ((triple7) -> rule2))] The lion is big.[(triple7)] The lion is blue.[(triple8)] The lion is green.[(triple9)] The lion is rough.[(triple10)] The lion likes the bear.[(triple11)] @1: The bear does not eat the bear.[(((triple4) -> rule1))] The lion is round.[(((triple10) -> rule3))]