Gary is rough. If Gary is rough then Bob is Anne's husband. If Bob is the husband of Anne then Dave is not the sister of Anne. If Dave is not Anne's sister then Gary is green. If Gary is green then Erin is not big. Harry is Bob's brother if Erin is not big.