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