The bear is blue. If the bear is blue then the bear is rough. All blue, green people are round. If someone is rough then they are green.
The bear is not red.
@0: The bear is blue.[(triple1)] @1: The bear is rough.[(((triple1) -> rule1))] @2: The bear is green.[(((((triple1) -> rule1)) -> rule3))] @3: The bear is round.[(((triple1 ((((triple1) -> rule1)) -> rule3)) -> rule2))]