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