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