Erin is furry. Erin is kind. Erin is round. Erin is smart. Gary is nice. Gary is not white. Harry is furry. Harry is kind. Harry is nice. Harry is white. If Erin is round then Erin is white. If something is not round then it is smart. All red, furry things are kind. If something is not nice then it is smart. If Erin is not nice then Erin is furry. If Gary is not round then Gary is smart.
Gary is nice.