The bear is big. The bear is not blue. The bear is kind. The bear does not like the lion. The bear visits the squirrel. The lion eats the bear. The lion eats the squirrel. The lion is not cold. The lion is kind. The lion is rough. The lion likes the bear. The lion does not visit the squirrel. The squirrel does not eat the bear. The squirrel eats the lion. The squirrel is rough. The squirrel likes the lion. If someone eats the bear and they are not kind then they visit the bear. If someone is cold and not rough then they are not blue. If someone is rough then they like the lion.
The squirrel is big.
@0: The bear does not like the lion.[(triple4)] The bear is big.[(triple1)] The bear is kind.[(triple3)] The bear is not blue.[(triple2)] The bear visits the squirrel.[(triple5)] The lion does not visit the squirrel.[(triple12)] The lion eats the bear.[(triple6)] The lion eats the squirrel.[(triple7)] The lion is kind.[(triple9)] The lion is not cold.[(triple8)] The lion is rough.[(triple10)] The lion likes the bear.[(triple11)] The squirrel does not eat the bear.[(triple13)] The squirrel eats the lion.[(triple14)] The squirrel is rough.[(triple15)] The squirrel likes the lion.[(triple16 OR ((triple15) -> rule3))] @1: The lion likes the lion.[(((triple10) -> rule3))]