The bear is green. The bear is kind. The bear is red. The bear likes the dog. The dog is not kind. The dog likes the bear. The dog visits the bear. If the bear is green then the bear needs the dog. If something needs the dog then the dog is cold. If something is green and it does not visit the bear then it is big. If something likes the bear and it is not red then it does not visit the dog. If something needs the dog and it does not visit the bear then the bear likes the dog. If the dog is cold then the dog does not need the bear. If the dog is not red and the dog does not like the bear then the dog needs the bear. If the bear does not like the dog then the bear is kind.
The bear does not visit the bear.
@0: The bear is green.[(triple1)] The bear is kind.[(triple2)] The bear is red.[(triple3)] The bear likes the dog.[(triple4)] The dog is not kind.[(triple5)] The dog likes the bear.[(triple6)] The dog visits the bear.[(triple7)] @1: The bear needs the dog.[(((triple1) -> rule1))] @2: The dog is cold.[(((((triple1) -> rule1)) -> rule2))] @3: The dog does not need the bear.[(((((((triple1) -> rule1)) -> rule2)) -> rule6))]