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