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