context: Harry is white. Bob is Erin's son. Harry is kind. The father of Anne is Charlie. If Harry is kind then Harry is red. If Charlie is furry then Gary is not green. Harry is not green if Charlie is furry. Erin is not furry if Charlie is furry. Anne is Dave's mother if Harry is kind. If Gary is not blue then Charlie is not Dave's wife. Charlie is rough if Bob is not quiet. If Charlie is furry then Charlie is not nice. Gary is not cold if Erin is Charlie's sister. Dave is not Erin's mother if Charlie is furry. If Harry is nice then Anne is Dave's father. If The sister of Charlie is Erin then The grandfather of Anne is not Fiona. Dave is kind if Anne is the father of Dave. If Fiona is not Anne's grandfather then The wife of Dave is Charlie. Harry is nice if Bob is the son of Erin. Charlie is nice if Harry is kind. Bob is big if Charlie is furry. Erin is not nice if Gary is not blue. If Gary is not blue then Dave is not kind. Fiona is not rough if Gary is not blue. If The husband of Erin is not Gary then Gary is rough. If Charlie is furry then Harry is not red. If Charlie is furry then Bob is quiet. The sister of Charlie is Erin if Harry is red. Harry is not nice if Gary is not blue. If Gary is not blue then Charlie is not rough. If Gary is not blue then Gary is cold. Gary is not Erin's husband if Gary is not blue. If Fiona is not red then Bob is not big. Harry is green if Charlie is rough. If Charlie is furry then Fiona is red. Anne is not Dave's mother if Gary is not blue. If Bob is the son of Erin then Fiona is not nice. Gary is not rough if The son of Gary is Dave. The sister of Charlie is not Erin if Gary is not blue. Fiona is nice if The husband of Erin is not Gary. If Charlie is furry then Harry is not Bob's aunt. If Charlie is furry then Dave is not Gary's son. If Charlie is furry then Fiona is Anne's grandfather. If Harry is kind then Fiona is rough. If Bob is the son of Erin then Erin is nice. If Gary is not blue then Anne is not the father of Dave. Gary is green if Fiona is not red. If Harry is white then Fiona is not red. Harry is Bob's aunt if The mother of Dave is Anne. If Erin is Charlie's sister then Erin is furry. If Harry is white then Dave is the mother of Erin. If The son of Erin is Bob then Dave is Gary's son. If Anne is Dave's father and Charlie is Anne's father then Bob is not quiet.