The bear is not blue. The bear is cold. The bear does not need the lion. The bear does not visit the lion. The dog eats the bear. The dog needs the bear. The dog needs the lion. The lion does not eat the bear. The lion is not blue. The lion does not visit the bear. If the dog eats the bear then the dog is red. If something is big then it does not need the lion. If something is red and it needs the lion then the lion is not big. If something eats the lion then the lion is not cold. If something visits the lion and it is not cold then it does not need the dog. If the lion does not need the dog then the lion visits the bear.
The lion needs the bear.
@0: The bear does not need the lion.[(triple3)] The bear does not visit the lion.[(triple4)] The bear is cold.[(triple2)] The bear is not blue.[(triple1)] The dog eats the bear.[(triple5)] The dog needs the bear.[(triple6)] The dog needs the lion.[(triple7)] The lion does not eat the bear.[(triple8)] The lion does not visit the bear.[(triple10)] The lion is not blue.[(triple9)] @1: The dog is red.[(((triple5) -> rule1))] @2: The lion is not big.[(((((triple5) -> rule1) triple7) -> rule3))]