Bob is blue. Bob is kind. Bob is quiet. Bob is rough. Charlie is green. Dave is blue. Dave is kind. Dave is quiet. Erin is green. Erin is quiet. Erin is rough. If Charlie is blue and Charlie is not kind then Charlie is quiet. Rough things are blue. If Charlie is green then Charlie is nice. Nice, green things are rough. All nice, green things are rough. Quiet things are big. All kind things are green. If Charlie is kind and Charlie is not blue then Charlie is quiet. If something is rough and not green then it is big.
Bob is not nice.