Dave is kind. Dave is round. Erin is cold. Erin is nice. Erin is not white. Gary is cold. Gary is furry. Gary is round. Harry is kind. Harry is smart. All smart things are kind. If Erin is smart and Erin is not nice then Erin is furry. If Harry is kind and Harry is white then Harry is smart. All smart things are furry. All nice things are cold. If something is smart and not furry then it is cold. If something is not cold then it is round. If something is cold and not round then it is kind.
Erin is not round.