Dave is blue. Dave is young. Harry is round. If something is rough then it is round. All cold things are round. Young things are white. Young, kind things are white. All rough things are cold. Blue, white things are kind.
Harry is not cold.
@0: Dave is blue.[(triple1)] Dave is young.[(triple2)] Harry is round.[(triple3)] @1: Dave is white.[(((triple2) -> rule3))] @2: Dave is kind.[(((triple1 ((triple2) -> rule3)) -> rule6))]