context: Dave is not Gary's brother. The sister of Erin is Charlie. Fiona is not quiet. The uncle of Bob is Gary. Erin is not Harry's sister. If Charlie is smart then Bob is Erin's wife. Bob is big if The husband of Harry is not Dave. Anne is Harry's husband if Charlie is smart. Harry is kind if The sister of Harry is not Erin. If Anne is furry then Dave is not red. If Dave is not the brother of Gary then Anne is not Erin's wife. Anne is not the husband of Harry if Charlie is big. If Dave is not the husband of Harry then Fiona is Anne's sister. If The wife of Erin is Bob then Dave is red. If Charlie is smart then Charlie is red. Gary is not rough if Gary is not Dave's grandfather. If Bob is blue then Erin is not the uncle of Harry. If Gary is Bob's uncle then Anne is not white. Charlie is big if Gary is not the grandfather of Dave. If The brother of Gary is not Dave then Harry is the aunt of Bob. Bob is not big if Anne is not the husband of Harry. If Fiona is not quiet then Dave is furry. If The sister of Erin is Charlie then Fiona is not the sister of Anne. Dave is not kind if Fiona is not quiet. If Harry is kind then Gary is not Dave's grandfather. If Dave is not the husband of Harry then Gary is rough. Charlie is not red if Fiona is not quiet. If Gary is Bob's uncle then Harry is cold. If Charlie is smart then The brother of Gary is not Erin. If The husband of Harry is not Dave then Dave is big. If Fiona is not quiet then Bob is blue. Anne is furry if The brother of Gary is not Dave. If Fiona is not quiet then Anne is not Bob's aunt. Erin is not Gary's brother if Charlie is big or The grandfather of Dave is not Gary.