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