Anne is green. Anne is red. Anne is round. Charlie is red. Charlie is round. Charlie is smart. Gary is nice. Gary is red. Harry is red. Harry is round. If Harry is white and Harry is nice then Harry is rough.
Harry is not rough.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Gary is nice.[(triple7)] Gary is red.[(triple8)] Harry is red.[(triple9)] Harry is round.[(triple10)]