Anne is rough. Charlie is young. Dave is young. Gary is young. All rough people are quiet. If Anne is young then Anne is cold. If Anne is young and Anne is big then Anne is furry.
Dave is young.
@0: Anne is rough.[(triple1)] Charlie is young.[(triple2)] Dave is young.[(triple3)] Gary is young.[(triple4)] @1: Anne is quiet.[(((triple1) -> rule1))]