The bear does not eat the dog. The bear sees the dog. The dog chases the bear. The dog eats the bear. The dog is not nice. The dog is young. The dog sees the bear. If something chases the dog then it is blue. All red things are not blue. If something eats the dog and it is nice then it is not green. If the bear chases the dog and the dog does not eat the bear then the dog is blue. If the dog eats the bear then the bear chases the dog. All blue things are young.
The bear does not eat the bear.
@0: The bear does not eat the dog.[(triple1)] The bear sees the dog.[(triple2)] The dog chases the bear.[(triple3)] The dog eats the bear.[(triple4)] The dog is not nice.[(triple5)] The dog is young.[(triple6)] The dog sees the bear.[(triple7)] @1: The bear chases the dog.[(((triple4) -> rule5))] @2: The bear is blue.[(((((triple4) -> rule5)) -> rule1))] @3: The bear is young.[(((((((triple4) -> rule5)) -> rule1)) -> rule6))]