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