context: Bob is nice. Erin is not Fiona's aunt. Fiona is not the uncle of Harry. Gary is not the husband of Harry. If Gary is not the husband of Harry then Anne is the aunt of Harry. If The uncle of Harry is Anne then Erin is nice. If The husband of Harry is not Gary then Bob is kind. Bob is not kind if Anne is Harry's uncle. Gary is not blue if Erin is not the aunt of Fiona. Gary is blue if Anne is Harry's uncle. If Fiona is not Harry's uncle then Harry is Dave's wife. Harry is not the wife of Dave if Anne is the uncle of Harry. Charlie is not big if Bob is kind. Charlie is big if Erin is nice. If Gary is not blue then Gary is Dave's uncle. If Erin is nice then The uncle of Dave is not Gary. If Anne is the aunt of Harry then Erin is not the son of Charlie. If Anne is Harry's uncle then The son of Charlie is Erin. If Bob is kind then Bob is not rough. Bob is rough if Erin is nice. The wife of Fiona is Harry if Erin is nice. If Charlie is not big then Bob is not the sister of Charlie. If Harry is the wife of Fiona then Bob is the sister of Charlie. Fiona is smart if Erin is not the aunt of Fiona. Fiona is not smart if Harry is Fiona's wife. If Anne is Harry's aunt then Charlie is the wife of Anne. Charlie is not Anne's wife if Erin is nice. Charlie is rough if Bob is nice. If Harry is the wife of Fiona then Charlie is not rough. Charlie is nice if The uncle of Dave is Gary. If Erin is nice then Charlie is not nice. If Charlie is not big then Charlie is not the daughter of Fiona. If Anne is the uncle of Harry then The daughter of Fiona is Charlie. If Bob is not the sister of Charlie then Fiona is not quiet. If Harry is the wife of Fiona then Fiona is quiet. Anne is quiet if Gary is not blue. If Erin is nice then Anne is not quiet. The uncle of Gary is not Anne if Harry is the wife of Fiona. If Fiona is not quiet then Bob is smart. If Erin is nice then Bob is not smart. If The wife of Dave is Harry then Fiona is nice. If The wife of Fiona is Harry then Fiona is not nice. Gary is not round if Bob is kind. Gary is round if The uncle of Harry is Anne. If Anne is the aunt of Harry then Gary is the wife of Dave. If The uncle of Harry is Anne then Gary is not Dave's wife.