context: Dave is the aunt of Harry. Fiona is not the wife of Erin if Dave is the aunt of Harry. Fiona is the wife of Erin if Charlie is the uncle of Erin. If Dave is Harry's aunt then Gary is not young. If Gary is furry then Gary is young. The grandmother of Dave is Anne if The aunt of Harry is Dave. Anne is not the grandmother of Dave if Gary is furry. If Fiona is not Erin's wife then Bob is red. If Charlie is the uncle of Erin then Bob is not red. The son of Erin is not Dave if Gary is not young. Dave is Erin's son if Charlie is the uncle of Erin. If Dave is the aunt of Harry then Bob is not the husband of Anne. If Gary is furry then Bob is Anne's husband. Charlie is not smart if Charlie is Erin's uncle. Anne is young if Fiona is not Erin's wife. If Charlie is the uncle of Erin then Anne is not young. Fiona is round if Bob is red. Fiona is not round if Charlie is the uncle of Erin. Anne is the husband of Charlie if Anne is Dave's grandmother. If Charlie is not smart then Anne is not Charlie's husband. Charlie is not the wife of Dave if Dave is not Erin's son. Charlie is the wife of Dave if The uncle of Erin is Charlie. Fiona is the grandmother of Charlie if Fiona is round. If Charlie is not smart then Fiona is not the grandmother of Charlie. If The uncle of Erin is Charlie then Charlie is big. If Dave is not the son of Erin then Dave is Charlie's grandmother. The grandmother of Charlie is not Dave if Charlie is not smart. Harry is not green if Fiona is the grandmother of Charlie. Harry is green if Charlie is not smart.