Anne is quiet. Charlie is red. Dave is white. Quiet people are big.
Anne is quiet.
@0: Anne is quiet.[(triple1)] Charlie is red.[(triple2)] Dave is white.[(triple3)] @1: Anne is big.[(((triple1) -> rule1))]