Gary is not kind. Gary is smart. Harry is not green. If someone is rough and not smart then they are not green. All rough people are not big. If someone is green and not red then they are rough.
Harry is green.
@0: Gary is not kind.[(triple1)] Gary is smart.[(triple2)] Harry is not green.[(triple3)]