Anne is cold. Charlie is smart. Dave is cold. Cold people are big.
Dave is smart.
@0: Anne is cold.[(triple1)] Charlie is smart.[(triple2)] Dave is cold.[(triple3)] @1: Anne is big.[(((triple1) -> rule1))] Dave is big.[(((triple3) -> rule1))]