Anne is nice. Charlie is nice. Gary is nice. Harry is round. Smart things are not big. Quiet things are smart. If Harry is cold and Harry is not round then Harry is nice.
Charlie is not nice.
@0: Anne is nice.[(triple1)] Charlie is nice.[(triple2)] Gary is nice.[(triple3)] Harry is round.[(triple4)]