The bear is cold. The bear is green. The bear is nice. The bear is rough. The bear visits the dog. The dog chases the bear. The dog chases the lion. The dog is blue. The dog is nice. The dog needs the lion. The dog visits the lion. The lion is blue. If someone visits the dog then the dog visits the lion. If someone chases the lion then they need the bear. If someone chases the dog and the dog is green then they chase the bear. If the bear visits the lion and the lion chases the bear then the bear is cold. If someone visits the bear then the bear visits the lion. If someone chases the dog then they need the bear. If the lion chases the bear then the bear is rough. Green people are rough.
The lion is not green.
@0: The bear is cold.[(triple1)] The bear is green.[(triple2)] The bear is nice.[(triple3)] The bear is rough.[(triple4 OR ((triple2) -> rule8))] The bear visits the dog.[(triple5)] The dog chases the bear.[(triple6)] The dog chases the lion.[(triple7)] The dog is blue.[(triple8)] The dog is nice.[(triple9)] The dog needs the lion.[(triple10)] The dog visits the lion.[(triple11 OR ((triple5) -> rule1))] The lion is blue.[(triple12)] @1: The dog needs the bear.[(((triple7) -> rule2))]