Bob is not cold. Bob is furry. Bob is green. Bob is kind. Bob is red. Bob is round. Bob is white. Charlie is not green. Charlie is kind. Charlie is red. Charlie is round. Charlie is white. Erin is cold. Erin is furry. Erin is kind. Erin is round. Furry things are green. All green things are white. White things are kind.
Erin is not green.