Anne is cold. Anne is kind. Charlie is furry. Charlie is kind. Charlie is red. Charlie is rough. Charlie is white. Dave is red. Dave is rough. Gary is cold. Gary is not kind. If someone is kind then they are white. Red, cold people are kind. If Dave is big and Dave is kind then Dave is red. Rough people are big. All big, red people are cold. Kind, furry people are rough. If someone is kind and white then they are furry. If Dave is furry and Dave is not white then Dave is not rough. If someone is red and not white then they are not furry.
Gary is not white.