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. Erin is not Harry's brother if Gary is smart or The grandmother of Erin is Dave.