Anne is blue. Anne is young. Charlie is cold. Charlie is quiet. Charlie is smart. Dave is cold. Dave is young. All big people are quiet. Quiet people are young.
Anne is quiet.
@0: Anne is blue.[(triple1)] Anne is young.[(triple2)] Charlie is cold.[(triple3)] Charlie is quiet.[(triple4)] Charlie is smart.[(triple5)] Dave is cold.[(triple6)] Dave is young.[(triple7)] @1: Charlie is young.[(((triple4) -> rule2))]