The bear is not kind. The bear needs the squirrel. The cow eats the bear. The cow is nice. The cow is young. The lion eats the cow. The lion is green. The lion is young. The squirrel does not eat the bear. The squirrel is big. The squirrel is green. The squirrel is young. The squirrel sees the bear. The squirrel sees the cow. The squirrel sees the lion. If something sees the lion then the lion is kind. If the squirrel is not kind then the squirrel does not need the bear.
The bear is not green.
@0: The bear is not kind.[(triple1)] The bear needs the squirrel.[(triple2)] The cow eats the bear.[(triple3)] The cow is nice.[(triple4)] The cow is young.[(triple5)] The lion eats the cow.[(triple6)] The lion is green.[(triple7)] The lion is young.[(triple8)] The squirrel does not eat the bear.[(triple9)] The squirrel is big.[(triple10)] The squirrel is green.[(triple11)] The squirrel is young.[(triple12)] The squirrel sees the bear.[(triple13)] The squirrel sees the cow.[(triple14)] The squirrel sees the lion.[(triple15)] @1: The lion is kind.[(((triple15) -> rule1))]