Charlie is furry. Erin is furry. Erin is green. Erin is round. Erin is smart. Gary is furry. Harry is furry. Harry is rough. Harry is round. Harry is smart. All rough things are green. If something is furry and green then it is smart.
Gary is not smart.