Anne is young. Bob is quiet. Erin is furry. Gary is round. Furry things are round.
Bob is quiet.
@0: Anne is young.[(triple1)] Bob is quiet.[(triple2)] Erin is furry.[(triple3)] Gary is round.[(triple4)] @1: Erin is round.[(((triple3) -> rule1))]