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. Harry is kind if The sister of Harry is not Erin. If Fiona is not quiet then Bob is blue. If Gary is Bob's uncle then Harry is cold. If Fiona is not quiet then Dave is furry. If The brother of Gary is not Dave then Harry is the aunt of Bob. If Bob is blue then Erin is not the uncle of Harry. Dave is not kind if Fiona is not quiet. If Harry is kind then Gary is not Dave's grandfather. If Fiona is not quiet then Anne is not Bob's aunt. If Dave is not the brother of Gary then Anne is not Erin's wife. If Gary is Bob's uncle then Anne is not white. Charlie is big if Gary is not the grandfather of Dave. Anne is furry if The brother of Gary is not Dave. Erin is Gary's brother if The grandfather of Dave is not Gary. If Charlie is smart then The brother of Gary is not Erin. Anne is not the husband of Harry if Charlie is big. Anne is Harry's husband if Charlie is smart. If Charlie is smart then Bob is Erin's wife. Charlie is not red if Fiona is not quiet. If Charlie is smart then Charlie is red. Gary is not rough if Gary is not Dave's grandfather. If Dave is not the husband of Harry then Gary is rough. If The husband of Harry is not Dave then Dave is big. If The sister of Erin is Charlie then Fiona is not the sister of Anne. If Dave is not the husband of Harry then Fiona is Anne's sister. Bob is not big if Anne is not the husband of Harry. Bob is big if The husband of Harry is not Dave. If Anne is furry then Dave is not red. If The wife of Erin is Bob then Dave is red.