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