Bob is furry. Bob is green. Bob is red. Bob is rough. Charlie is furry. Charlie is kind. Dave is furry. Dave is red. Erin is cold. Erin is furry. Erin is red. If something is kind and blue then it is rough. If something is cold and blue then it is kind. If Bob is cold and Bob is red then Bob is blue. Kind, rough things are red. All red things are cold. Blue things are furry. If something is cold then it is blue. If something is furry and rough then it is green. If something is rough and cold then it is furry.
Charlie is not blue.