Bob is furry. Bob is nice. Charlie is furry. Charlie is green. Erin is furry. Erin is nice. Erin is quiet. Erin is rough. Gary is furry. Gary is kind. If something is quiet and kind then it is nice. If something is quiet and rough then it is nice. If Gary is furry then Gary is quiet. If something is blue and nice then it is kind. If Charlie is kind and Charlie is quiet then Charlie is blue. Blue things are green.
Charlie is not green.