The bear chases the dog. The bear does not eat the dog. The bear is cold. The bear is green. The bear is kind. The bear is red. The bear is not young. The bear does not see the dog. The dog chases the bear. The dog eats the bear. The dog is cold. The dog is not green. The dog is not kind. The dog is red. The dog is not young. The dog sees the bear. If someone is kind then they chase the bear. If someone chases the bear then the bear chases the dog. If the bear is kind then the bear chases the dog. If someone is green and not kind then they do not see the bear. All red people are cold. If the dog chases the bear and the bear does not chase the dog then the dog eats the bear. If someone eats the dog and the dog chases the bear then the dog does not eat the bear. If someone chases the bear and they do not chase the dog then the bear does not see the dog.
The dog is not kind.
@0: The bear chases the dog.[(triple1 OR ((triple5) -> rule3) OR ((triple9) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] The bear does not eat the dog.[(triple2)] The bear does not see the dog.[(triple8)] The bear is cold.[(triple3 OR ((triple6) -> rule5))] The bear is green.[(triple4)] The bear is kind.[(triple5)] The bear is not young.[(triple7)] The bear is red.[(triple6)] The dog chases the bear.[(triple9)] The dog eats the bear.[(triple10)] The dog is cold.[(triple11 OR ((triple14) -> rule5))] The dog is not green.[(triple12)] The dog is not kind.[(triple13)] The dog is not young.[(triple15)] The dog is red.[(triple14)] The dog sees the bear.[(triple16)] @1: The bear chases the bear.[(((triple5) -> rule1))]