Gary is rough. If Gary is not red then Gary is not cold. If someone is green and red then they are not rough. If someone is green and not cold then they are quiet.
Gary is big.
@0: Gary is rough.[(triple1)]