Anne is not green. Charlie is not smart. Dave is cold. If Charlie is rough then Charlie is cold.
Anne is green.
@0: Anne is not green.[(triple1)] Charlie is not smart.[(triple2)] Dave is cold.[(triple3)]