The bear is not cold. The bear is kind. The bear is red. The bear is rough. The bear needs the rabbit. The cow chases the bear. The cow eats the bear. The lion does not eat the cow. The lion is kind. The rabbit eats the bear. The rabbit does not need the bear. The rabbit needs the cow. If something is big then it does not chase the rabbit. If the lion is kind then the lion chases the bear. If something is red and it chases the cow then it eats the bear.
The bear does not eat the bear.
@0: The bear is kind.[(triple2)] The bear is not cold.[(triple1)] The bear is red.[(triple3)] The bear is rough.[(triple4)] The bear needs the rabbit.[(triple5)] The cow chases the bear.[(triple6)] The cow eats the bear.[(triple7)] The lion does not eat the cow.[(triple8)] The lion is kind.[(triple9)] The rabbit does not need the bear.[(triple11)] The rabbit eats the bear.[(triple10)] The rabbit needs the cow.[(triple12)] @1: The lion chases the bear.[(((triple9) -> rule2))]