Anne is quiet. Dave is round. Harry is young. If something is quiet and rough then it is young. If Anne is quiet then Anne is furry.
Anne is not young.
@0: Anne is quiet.[(triple1)] Dave is round.[(triple2)] Harry is young.[(triple3)] @1: Anne is furry.[(((triple1) -> rule2))]