Anne is smart. Charlie is smart. Dave is kind. Erin is red. If something is white then it is not red. Rough things are not furry. If Dave is kind then Dave is red. Red, kind things are furry. All red, furry things are smart. If Dave is white and Dave is furry then Dave is not red.
Dave is not furry.