Bob is kind. Bob is smart. Charlie is kind. Charlie is nice. Dave is big. Dave is nice. Dave is smart. If Charlie is blue then Charlie is nice. Big people are smart. If Bob is rough then Bob is smart. Nice, rough people are big. If someone is smart and not kind then they are big. If someone is smart then they are nice. All nice people are blue. If someone is smart and blue then they are cold.
Dave is not nice.