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.
Dave is not rough.
@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))]