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