Anne is round. If Anne is furry then Anne is quiet. All round people are furry. If Anne is round then Anne is rough. All big, rough people are furry. If someone is quiet then they are rough. All young, big people are quiet. If Anne is rough then Anne is round. All big, quiet people are furry.
Anne is not furry.
@0: Anne is round.[(triple1)] @1: Anne is furry.[(((triple1) -> rule2))] Anne is rough.[(((triple1) -> rule3) OR ((((((triple1) -> rule2)) -> rule1)) -> rule5))] @2: Anne is quiet.[(((((triple1) -> rule2)) -> rule1))]