Charlie is big. Gary is young. Harry is red. All nice, big people are smart. If Harry is not kind then Harry is smart.
Harry is not smart.
@0: Charlie is big.[(triple1)] Gary is young.[(triple2)] Harry is red.[(triple3)]