Alan is rough. Alan is cold. Charlie is round. Charlie is cold. Charlie is big. Eric is rough. Eric is nice. Eric is big. Fred is rough. Fred is nice. Fred is kind. If someone is green and nice and rough then they are round. If someone is rough and nice then they are blue. If someone is big and nice then they are cold. If someone is nice and rough and blue then they are green.
Alan is not blue.