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