Anne is quiet. Charlie is big. Erin is round. Fiona is white. If something is big then it is cold. White things are cold.
Anne is quiet.
@0: Anne is quiet.[(triple1)] Charlie is big.[(triple2)] Erin is round.[(triple3)] Fiona is white.[(triple4)] @1: Charlie is cold.[(((triple2) -> rule1))] Fiona is cold.[(((triple4) -> rule2))]