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