context: Anne is not Erin's husband. Harry is not red if Anne is not Erin's husband. Harry is red if Fiona is rough. If Anne is not Erin's husband then The son of Harry is not Erin. Erin is the son of Harry if Fiona is rough. If Harry is not red then Gary is not Charlie's son. If Fiona is rough then The son of Charlie is Gary. Erin is not the grandfather of Fiona if Fiona is rough. If The son of Charlie is not Gary then Fiona is blue. If Erin is not the grandfather of Fiona then Fiona is not blue. Charlie is Dave's sister if The son of Charlie is not Gary. If Fiona is rough then Charlie is not Dave's sister. Bob is the daughter of Harry if Fiona is blue. If Erin is not the grandfather of Fiona then The daughter of Harry is not Bob. The daughter of Dave is not Charlie if The son of Harry is not Erin. If Fiona is rough then Charlie is Dave's daughter. If The daughter of Harry is Bob then Fiona is not young. Fiona is young if The grandfather of Fiona is not Erin. The mother of Fiona is not Dave if The sister of Dave is Charlie. If Erin is not Fiona's grandfather then Dave is Fiona's mother.