The bear is kind. The bear is nice. The bear likes the rabbit. The bear likes the squirrel. The bear needs the squirrel. The bear sees the squirrel. The rabbit is kind. The rabbit is nice. The rabbit likes the bear. The rabbit needs the bear. The rabbit sees the bear. The rabbit sees the squirrel. The squirrel is nice. The squirrel is rough. The squirrel likes the bear. The squirrel likes the rabbit. If the bear needs the rabbit then the bear sees the squirrel. If something likes the bear and it likes the rabbit then the bear is kind.
The bear is nice.
@0: The bear is kind.[(triple1 OR ((triple15 triple16) -> rule2))] The bear is nice.[(triple2)] The bear likes the rabbit.[(triple3)] The bear likes the squirrel.[(triple4)] The bear needs the squirrel.[(triple5)] The bear sees the squirrel.[(triple6)] The rabbit is kind.[(triple7)] The rabbit is nice.[(triple8)] The rabbit likes the bear.[(triple9)] The rabbit needs the bear.[(triple10)] The rabbit sees the bear.[(triple11)] The rabbit sees the squirrel.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is rough.[(triple14)] The squirrel likes the bear.[(triple15)] The squirrel likes the rabbit.[(triple16)]