context: Gary is not cold. Anne is Harry's husband. Fiona is not cold. Gary is white if Charlie is rough. Erin is not Gary's brother if Charlie is rough. Gary is not white if The grandmother of Anne is Fiona. If Charlie is rough then The grandfather of Gary is not Erin. If Charlie is rough then The father of Charlie is Bob. Erin is the grandfather of Gary if Anne is Harry's husband. If Fiona is kind then Harry is not quiet. If Charlie is rough then Erin is Harry's grandmother. If Charlie is rough then Erin is Charlie's son. Dave is not nice if Charlie is rough. If Charlie is rough then Fiona is kind. If Anne is the husband of Harry then Dave is nice. If Charlie is rough then The daughter of Anne is Bob. If Fiona is Gary's mother then Harry is the daughter of Anne. If The brother of Gary is Erin then The father of Charlie is not Bob. If Erin is the grandfather of Gary then Bob is not the daughter of Anne. If Charlie is rough then Fiona is Gary's mother. Erin is the brother of Gary if Anne is Harry's husband. If Erin is not the grandmother of Harry then The grandmother of Anne is Fiona. If Fiona is Gary's mother then The wife of Erin is not Dave. Fiona is not the grandmother of Anne if Charlie is rough. If Gary is not cold then Harry is quiet. The grandmother of Harry is not Erin if Erin is Gary's grandfather. If Gary is not cold then Erin is not the son of Charlie. If Gary is not white and Fiona is cold then Dave is Erin's wife.