The brother of Gary is Anne. The sister of Anne is Charlie if Anne is the brother of Gary. If Charlie is not green then Anne is not the mother of Charlie. Bob is not smart if Charlie is the sister of Anne. If Bob is not smart then Charlie is not green. If Anne is not Charlie's mother then Erin is green.