Charlie is cold. Charlie is red. Charlie is round. Charlie is young. Dave is big. Dave is blue. Dave is cold. Erin is big. Erin is blue. Erin is cold. Erin is round. Erin is young. Gary is cold. Gary is red. If someone is blue and red then they are cold. Big people are young. If someone is green and big then they are young. All green people are big. All green, big people are round. Cold, red people are round. All round people are green. Cold, young people are blue. All red, blue people are big.
Gary is big.