context: Anne is young. Dave is furry. The uncle of Charlie is not Harry. If Dave is furry then Fiona is not quiet. If Fiona is blue then Fiona is quiet. If Dave is furry then Fiona is the husband of Dave. Fiona is not the husband of Dave if Fiona is blue. The son of Bob is Gary if Anne is young. If Fiona is blue then Gary is not Bob's son. If The uncle of Charlie is not Harry then Fiona is Anne's brother. The brother of Anne is not Fiona if Fiona is blue. If Fiona is the husband of Dave then Fiona is smart. Fiona is not smart if Fiona is blue. If Fiona is blue then Gary is not kind. If The son of Bob is Gary then Harry is not quiet. Harry is quiet if Fiona is blue. Anne is the aunt of Dave if Fiona is blue. Anne is not Bob's grandfather if Fiona is smart. If Gary is not kind then The grandfather of Bob is Anne. Dave is not the sister of Bob if Harry is not the uncle of Charlie. If Anne is Dave's aunt then Dave is the sister of Bob. If Anne is the aunt of Dave then Charlie is not Gary's sister. If Anne is not the grandfather of Bob then Gary is white. Gary is not white if Anne is the aunt of Dave. If Fiona is Dave's husband then Bob is Fiona's sister. The sister of Fiona is not Bob if The aunt of Dave is Anne. If Fiona is smart then Fiona is green. If Gary is not kind then Fiona is not green. Gary is not smart if Gary is white. Gary is smart if Fiona is blue. If The uncle of Charlie is not Harry then Erin is not Fiona's daughter. If The aunt of Dave is Anne then The daughter of Fiona is Erin.