Gary is green. All green people are round. Green people are red. If Gary is cold then Gary is smart. All red, green people are quiet. Smart, round people are green. Cold, smart people are green.
Gary is green.