Bob is blue. Bob is round. Charlie is blue. Charlie is green. Charlie is not nice. Charlie is not quiet. Charlie is not round. Dave is not quiet. Erin is blue. Erin is kind. Erin is not quiet. Erin is red. All quiet things are kind. If something is not quiet then it is not nice. If Erin is nice and Erin is kind then Erin is not quiet.
Charlie is not green.