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.
Harry is not smart.
@0: Anne is nice.[(triple1)] Charlie is nice.[(triple2)] Gary is nice.[(triple3)] Harry is round.[(triple4)]