Anne is young. All nice people are rough. All cold, round people are kind. All quiet people are round. All nice, round people are kind. All young people are quiet. If someone is cold then they are quiet.
Anne is not round.
@0: Anne is young.[(triple1)] @1: Anne is quiet.[(((triple1) -> rule5))] @2: Anne is round.[(((((triple1) -> rule5)) -> rule3))]