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