The bear is nice. The bear needs the dog. The bear visits the dog. The dog eats the bear. The dog is big. The dog is blue. The dog is cold. The dog is not nice. The dog needs the bear. The dog visits the bear. If someone is blue and not nice then they visit the dog. If someone eats the dog and they visit the dog then the dog is big. If someone visits the dog and they do not eat the dog then the dog needs the bear.
The bear is not kind.
@0: The bear is nice.[(triple1)] The bear needs the dog.[(triple2)] The bear visits the dog.[(triple3)] The dog eats the bear.[(triple4)] The dog is big.[(triple5)] The dog is blue.[(triple6)] The dog is cold.[(triple7)] The dog is not nice.[(triple8)] The dog needs the bear.[(triple9)] The dog visits the bear.[(triple10)] @1: The dog visits the dog.[(((triple6 triple8) -> rule1))]