Dave is not cold. Dave is not kind. Dave is red. If someone is red then they are round. All cold people are round. Round people are white.
Dave is white.
@0: Dave is not cold.[(triple1)] Dave is not kind.[(triple2)] Dave is red.[(triple3)] @1: Dave is round.[(((triple3) -> rule1))] @2: Dave is white.[(((((triple3) -> rule1)) -> rule3))]