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