The bear is big. Round things are not blue. Green things are round. If something is big then it is green.
The bear is not green.
@0: The bear is big.[(triple1)] @1: The bear is green.[(((triple1) -> rule3))] @2: The bear is round.[(((((triple1) -> rule3)) -> rule2))] @3: The bear is not blue.[(((((((triple1) -> rule3)) -> rule2)) -> rule1))]