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