The bear is kind. All kind people are rough. If the bear is young and the bear is nice then the bear is kind. All nice people are blue. Young, nice people are blue. If someone is rough then they are blue. All blue, young people are kind. If the bear is nice and the bear is kind then the bear is not blue. All rough, blue people are not nice.
The bear is not blue.
@0: The bear is kind.[(triple1)] @1: The bear is rough.[(((triple1) -> rule1))] @2: The bear is blue.[(((((triple1) -> rule1)) -> rule5))] @3: The bear is not nice.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule5)) -> rule8))]