Anne is cold. Dave is young. Harry is white. If Harry is white then Harry is kind. If Dave is round then Dave is young. If Harry is kind then Harry is young.
Harry is round.
@0: Anne is cold.[(triple1)] Dave is young.[(triple2)] Harry is white.[(triple3)] @1: Harry is kind.[(((triple3) -> rule1))] @2: Harry is young.[(((((triple3) -> rule1)) -> rule3))]