Alan is red. Alan is kind. Alan is green. Alan is big. Fred is kind. Gary is round. Gary is rough. Harry is kind. If someone is blue and kind then they are round. If someone is red and nice and cold then they are round. If someone is red then they are blue. If someone is big and rough then they are kind. If someone is cold and rough and red then they are round. If someone is nice and red and rough then they are cold. If someone is round and green and red then they are rough.
Alan is not green.