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