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