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