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