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