Charlie is green. Charlie is smart. Erin is big. Erin is rough. Erin is white. Erin is young. Fiona is big. Fiona is green. Fiona is quiet. Fiona is rough. Fiona is young. Gary is rough. Smart, green things are big. All rough things are white. If something is green and smart then it is white. All quiet things are green. If something is rough then it is young. If Charlie is white and Charlie is young then Charlie is green. If Gary is quiet and Gary is smart then Gary is rough. Young things are big.
Erin is not green.