The bear is not red. The bear is round. The bear likes the dog. The bear needs the dog. The bear does not need the lion. The dog needs the bear. The dog needs the lion. The dog sees the bear. The dog does not see the lion. The lion is kind. The lion is not round. The lion sees the dog. If something likes the dog and it is not red then it does not need the bear. If the lion likes the dog then the lion does not see the dog. If something sees the lion and the lion does not like the bear then the lion is blue.
The bear needs the bear.
@0: The bear does not need the lion.[(triple5)] The bear is not red.[(triple1)] The bear is round.[(triple2)] The bear likes the dog.[(triple3)] The bear needs the dog.[(triple4)] The dog does not see the lion.[(triple9)] The dog needs the bear.[(triple6)] The dog needs the lion.[(triple7)] The dog sees the bear.[(triple8)] The lion is kind.[(triple10)] The lion is not round.[(triple11)] The lion sees the dog.[(triple12)] @1: The bear does not need the bear.[(((triple3 triple1) -> rule1))]