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