Dave is furry. Dave is nice. Dave is young. Erin is cold. Erin is furry. Erin is kind. Erin is nice. Erin is red. Erin is smart. Erin is young. Gary is cold. Gary is furry. Gary is nice. Gary is red. Gary is smart. Cold things are red. All kind, furry things are red. All red things are cold. If Erin is young then Erin is furry. If something is kind and smart then it is nice. Red, cold things are smart. If Gary is smart then Gary is young. If Dave is nice and Dave is young then Dave is red.
Dave is not kind.