Gary is green. If something is young then it is smart. If something is green and quiet then it is rough. All green, white things are smart. All young things are smart. Smart, green things are quiet. Red, green things are rough. If something is rough and red then it is smart. Rough, quiet things are red.
Gary is green.
@0: Gary is green.[(triple1)]