Bob is blue. Bob is cold. Bob is kind. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is round. Dave is rough. Dave is round. Erin is cold. Erin is red. Erin is rough. If someone is rough then they are cold. If someone is furry then they are kind.
Erin is not red.