Anne is cold. Harry is kind. Harry is quiet. Cold, smart people are rough. If someone is quiet and kind then they are smart.
Anne is young.
@0: Anne is cold.[(triple1)] Harry is kind.[(triple2)] Harry is quiet.[(triple3)] @1: Harry is smart.[(((triple3 triple2) -> rule2))]