The bear is cold. If something is cold and kind then it is green. If something is kind then it is cold. Green things are red. If something is cold then it is kind. Green things are round. If something is red then it is cold.
The bear is not cold.
@0: The bear is cold.[(triple1)] @1: The bear is kind.[(((triple1) -> rule4))] @2: The bear is green.[(((triple1 ((triple1) -> rule4)) -> rule1))] @3: The bear is red.[(((((triple1 ((triple1) -> rule4)) -> rule1)) -> rule3))] The bear is round.[(((((triple1 ((triple1) -> rule4)) -> rule1)) -> rule5))]