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