The bear is cold. Cold things are kind. Young, big things are kind. Kind, cold things are young. Kind things are blue. Blue, young things are big. All young, blue things are big.
The bear is not cold.
@0: The bear is cold.[(triple1)] @1: The bear is kind.[(((triple1) -> rule1))] @2: The bear is blue.[(((((triple1) -> rule1)) -> rule4))] The bear is young.[(((((triple1) -> rule1) triple1) -> rule3))] @3: The bear is big.[(((((((triple1) -> rule1)) -> rule4) ((((triple1) -> rule1) triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule1) triple1) -> rule3) ((((triple1) -> rule1)) -> rule4)) -> rule6))]