The brother of Gary is Anne. 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. Erin is not green if Anne is not the mother of Charlie. If Anne is not the brother of Gary then Charlie is not Anne's sister.