Bob is white. If Bob is white then Erin is red. Charlie is Erin's mother if Erin is red. If Charlie is the mother of Erin then Erin is Anne's father. If The father of Anne is Erin then Anne is not Bob's uncle.