Bob is red. Charlie is green. Charlie is red. Dave is furry. Dave is young. Erin is cold. Erin is red. All red, furry things are cold. If something is green and nice then it is white. All cold, furry things are not young. All nice things are young. All furry, nice things are not young. If something is cold and not green then it is not young.
Dave is green.