Dave is red. Gary is red. All round people are red. If someone is smart and rough then they are big. If someone is red then they are rough. All cold people are young. If someone is rough then they are smart. All young people are big. Cold, young people are big. If Gary is round then Gary is young.
Gary is not red.