Anne is cold. Charlie is smart. Dave is rough. Erin is rough. All blue people are big.
Charlie is not smart.
@0: Anne is cold.[(triple1)] Charlie is smart.[(triple2)] Dave is rough.[(triple3)] Erin is rough.[(triple4)]