Anne is quiet. Charlie is cold. Gary is furry. Quiet things are furry.
Charlie is blue.
@0: Anne is quiet.[(triple1)] Charlie is cold.[(triple2)] Gary is furry.[(triple3)] @1: Anne is furry.[(((triple1) -> rule1))]