Anne is cold. Dave is white. Harry is cold. Cold things are rough. All rough, quiet things are young.
Anne is not cold.
@0: Anne is cold.[(triple1)] Dave is white.[(triple2)] Harry is cold.[(triple3)] @1: Anne is rough.[(((triple1) -> rule1))] Harry is rough.[(((triple3) -> rule1))]