The bear is big. The bear is round. The bear likes the dog. The bear likes the squirrel. The bear needs the dog. The dog does not eat the bear. The dog is red. The dog likes the squirrel. The squirrel eats the bear. The squirrel does not eat the dog. The squirrel is not big. The squirrel is not blue. The squirrel likes the bear. The squirrel likes the dog. The squirrel does not need the bear. Red things are kind. If something likes the bear and it is blue then it is kind.
The squirrel is not kind.
@0: The bear is big.[(triple1)] The bear is round.[(triple2)] The bear likes the dog.[(triple3)] The bear likes the squirrel.[(triple4)] The bear needs the dog.[(triple5)] The dog does not eat the bear.[(triple6)] The dog is red.[(triple7)] The dog likes the squirrel.[(triple8)] The squirrel does not eat the dog.[(triple10)] The squirrel does not need the bear.[(triple15)] The squirrel eats the bear.[(triple9)] The squirrel is not big.[(triple11)] The squirrel is not blue.[(triple12)] The squirrel likes the bear.[(triple13)] The squirrel likes the dog.[(triple14)] @1: The dog is kind.[(((triple7) -> rule1))]