The bear is not green. The bear is kind. The bear does not like the dog. The bear likes the squirrel. The bear needs the dog. The bear does not need the squirrel. The dog is blue. The dog is kind. The dog likes the lion. The dog likes the squirrel. The dog does not need the lion. The lion likes the bear. The lion likes the squirrel. The lion does not need the bear. The squirrel does not like the dog. The squirrel does not need the bear. If someone eats the squirrel and they like the squirrel then they eat the dog. If someone needs the lion and they eat the squirrel then they need the bear. If someone needs the lion and they are not blue then they like the bear. If someone needs the dog then the dog eats the lion. If someone is rough and they like the dog then they are not cold. If someone needs the dog and the dog eats the lion then they eat the squirrel.
The lion likes the bear.
@0: The bear does not like the dog.[(triple3)] The bear does not need the squirrel.[(triple6)] The bear is kind.[(triple2)] The bear is not green.[(triple1)] The bear likes the squirrel.[(triple4)] The bear needs the dog.[(triple5)] The dog does not need the lion.[(triple11)] The dog is blue.[(triple7)] The dog is kind.[(triple8)] The dog likes the lion.[(triple9)] The dog likes the squirrel.[(triple10)] The lion does not need the bear.[(triple14)] The lion likes the bear.[(triple12)] The lion likes the squirrel.[(triple13)] The squirrel does not like the dog.[(triple15)] The squirrel does not need the bear.[(triple16)] @1: The dog eats the lion.[(((triple5) -> rule4))] @2: The bear eats the squirrel.[(((triple5 ((triple5) -> rule4)) -> rule6))] @3: The bear eats the dog.[(((((triple5 ((triple5) -> rule4)) -> rule6) triple4) -> rule1))]