The bear eats the lion. The bear eats the squirrel. The bear is green. The bear is kind. The bear needs the lion. The dog is red. The lion likes the bear. The lion needs the bear. The squirrel eats the dog. The squirrel is green. The squirrel is kind. The squirrel likes the bear. The squirrel does not like the dog. The squirrel does not need the bear. The squirrel does not need the dog. If someone is green and red then they do not need the lion. If someone is red then they do not need the dog. If someone eats the dog then they do not need the dog. If someone likes the lion and the lion eats the squirrel then the squirrel likes the dog. If the lion needs the bear and the lion likes the dog then the bear is red. If the squirrel needs the dog and the dog does not eat the bear then the bear does not need the lion. If someone eats the dog and they are not green then they do not eat the lion. If someone likes the dog and they are rough then they need the squirrel.
The squirrel eats the bear.
@0: The bear eats the lion.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear needs the lion.[(triple5)] The dog is red.[(triple6)] The lion likes the bear.[(triple7)] The lion needs the bear.[(triple8)] The squirrel does not like the dog.[(triple13)] The squirrel does not need the bear.[(triple14)] The squirrel does not need the dog.[(triple15 OR ((triple9) -> rule3))] The squirrel eats the dog.[(triple9)] The squirrel is green.[(triple10)] The squirrel is kind.[(triple11)] The squirrel likes the bear.[(triple12)] @1: The dog does not need the dog.[(((triple6) -> rule2))]