Dave is cold. If Dave is white then Dave is round. All cold people are white.
Dave is not cold.
@0: Dave is cold.[(triple1)] @1: Dave is white.[(((triple1) -> rule2))] @2: Dave is round.[(((((triple1) -> rule2)) -> rule1))]