Anne is big. Charlie is nice. Dave is nice. Harry is blue. Smart people are blue.
Charlie is not nice.
@0: Anne is big.[(triple1)] Charlie is nice.[(triple2)] Dave is nice.[(triple3)] Harry is blue.[(triple4)]