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