Dave is not Erin's grandmother. Gary is not smart. Fiona is not rough if Harry is not red. If Erin is not the brother of Harry then Harry is not red. If Gary is smart or Dave is Erin's grandmother then The brother of Harry is Erin.