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