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