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