Anne is nice. Charlie is blue. Charlie is kind. Charlie is nice. Dave is cold. Dave is rough. Gary is big. Rough, kind people are big. If someone is not blue then they are big. If someone is big and nice then they are not rough. Cold people are not kind. All rough people are not nice. If someone is blue and not big then they are round.
Charlie is not nice.