Gary is not big. Gary is green. Gary is not young. Young, rough people are smart. If someone is green and not red then they are not smart. If someone is nice and not rough then they are not green.
Gary is not young.
@0: Gary is green.[(triple2)] Gary is not big.[(triple1)] Gary is not young.[(triple3)]