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