Anne is big. Charlie is blue. Charlie is nice. Charlie is young. Dave is cold. Dave is red. Gary is big. Gary is blue. Gary is cold. Gary is red. Gary is young. If someone is cold and nice then they are red. All red, green people are blue. All cold, young people are green. If Anne is green then Anne is cold. All big, blue people are cold. All big people are young. Red people are nice. If someone is cold and blue then they are big. Nice, cold people are blue.
Dave is not big.