Dave is not smart. Erin is not red. Gary is red. Harry is round. All nice people are furry. If someone is furry then they are kind. If Erin is round then Erin is red. If Dave is smart and Dave is not red then Dave is round. If someone is red then they are nice. If someone is kind and not nice then they are not round. If Erin is red and Erin is not furry then Erin is not round. If someone is not nice then they are not kind.
Dave is smart.