Anne is cold. Charlie is cold. Dave is white. Harry is cold. If someone is big then they are not green.
Anne is white.
@0: Anne is cold.[(triple1)] Charlie is cold.[(triple2)] Dave is white.[(triple3)] Harry is cold.[(triple4)]