The bear is nice. The cat eats the bear. The dog is kind. If something chases the dog then the dog is not nice. Red things are kind. If something is kind then it does not chase the cat. If something chases the cat then it chases the dog. If the bear is nice then the bear is red. If the cat is red and the cat does not chase the dog then the dog chases the bear.
The bear does not eat the bear.
@0: The bear is nice.[(triple1)] The cat eats the bear.[(triple2)] The dog is kind.[(triple3)] @1: The bear is red.[(((triple1) -> rule5))] The dog does not chase the cat.[(((triple3) -> rule3))] @2: The bear is kind.[(((((triple1) -> rule5)) -> rule2))] @3: The bear does not chase the cat.[(((((((triple1) -> rule5)) -> rule2)) -> rule3))]