Anne is red. Charlie is furry. Fiona is young. Harry is young. Red people are quiet.
Anne is quiet.
@0: Anne is red.[(triple1)] Charlie is furry.[(triple2)] Fiona is young.[(triple3)] Harry is young.[(triple4)] @1: Anne is quiet.[(((triple1) -> rule1))]