context: Anne is not big. Anne is not Erin's uncle. If Bob is not white then The grandmother of Dave is Erin. Dave is red if Erin is Dave's grandmother. Bob is not white if Anne is big or Anne is Erin's uncle.