The bear does not chase the dog. The bear eats the dog. The bear is big. The bear is cold. The bear is round. The bear is young. The bear visits the dog. The dog chases the bear. The dog eats the bear. The dog is big. The dog is cold. The dog is kind. The dog is round. The dog is young. The dog does not visit the bear. If something eats the bear then the bear eats the dog. If something eats the bear and the bear chases the dog then the bear does not eat the dog. If something chases the bear and the bear does not visit the dog then the bear does not eat the dog. If something visits the dog then the dog eats the bear. If something chases the bear and the bear chases the dog then the bear is cold. If something is kind and it does not chase the dog then it eats the dog.
The bear does not visit the dog.
@0: The bear does not chase the dog.[(triple1)] The bear eats the dog.[(triple2 OR ((triple9) -> rule1) OR ((((triple7) -> rule4)) -> rule1))] The bear is big.[(triple3)] The bear is cold.[(triple4)] The bear is round.[(triple5)] The bear is young.[(triple6)] The bear visits the dog.[(triple7)] The dog chases the bear.[(triple8)] The dog does not visit the bear.[(triple15)] The dog eats the bear.[(triple9 OR ((triple7) -> rule4))] The dog is big.[(triple10)] The dog is cold.[(triple11)] The dog is kind.[(triple12)] The dog is round.[(triple13)] The dog is young.[(triple14)]