Charlie is round. Dave is furry. Dave is nice. Dave is smart. Erin is not cold. Erin is round. Harry is kind. If someone is not rough then they are furry. If someone is smart and not rough then they are nice. All kind people are smart. All round, furry people are kind. If Harry is cold and Harry is smart then Harry is not furry. All smart, round people are kind. If someone is nice and not kind then they are furry. If someone is round and not kind then they are smart.
Dave is smart.