The bear is rough. If the bear is rough and the bear is young then the bear is blue. Blue things are not green. Rough things are young. If something is young and not blue then it is nice. If the bear is blue then the bear is not green. If the bear is nice then the bear is green.
The bear is not rough.
@0: The bear is rough.[(triple1)] @1: The bear is young.[(((triple1) -> rule3))] @2: The bear is blue.[(((triple1 ((triple1) -> rule3)) -> rule1))] @3: The bear is not green.[(((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule2) OR ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule5))]