Dave is big. If something is cold then it is kind. All rough, kind things are not cold. Big things are cold. If Dave is kind and Dave is big then Dave is green. Kind, rough things are blue. If something is green and not rough then it is big.
Dave is not cold.
@0: Dave is big.[(triple1)] @1: Dave is cold.[(((triple1) -> rule3))] @2: Dave is kind.[(((((triple1) -> rule3)) -> rule1))] @3: Dave is green.[(((((((triple1) -> rule3)) -> rule1) triple1) -> rule4))]