Anne is round. Bob is round. Gary is not green. Harry is white. Kind, white people are round. If someone is round then they are not green. If Anne is smart then Anne is not round. If someone is green then they are cold. If someone is not rough then they are kind. All smart people are green. If Bob is rough and Bob is not cold then Bob is kind. If someone is green and not cold then they are smart.
Bob is green.