Anne is big. Anne is red. Anne is smart. Anne is white. Bob is white. Erin is big. Erin is green. Erin is quiet. Erin is red. Erin is young. Gary is smart. Smart people are green. Red, young people are white. Big people are quiet. All big people are red. Red people are young. All green people are big. All big, young people are smart. If someone is red then they are big.
Gary is young.