Dave is quiet. Fiona is cold. Harry is red. All rough things are kind. All rough, kind things are young. All quiet things are rough.
Fiona is white.
@0: Dave is quiet.[(triple1)] Fiona is cold.[(triple2)] Harry is red.[(triple3)] @1: Dave is rough.[(((triple1) -> rule3))] @2: Dave is kind.[(((((triple1) -> rule3)) -> rule1))] @3: Dave is young.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule1)) -> rule2))]