Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is round. Bob is white. Charlie is cold. Charlie is round. Charlie is smart. Charlie is white. Erin is big. Erin is cold. Erin is furry. Erin is green. Harry is furry. If something is cold and not round then it is white. If something is not round then it is smart.
Harry is not white.