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