context: Charlie is not red. The son of Erin is not Gary. Charlie is young. If Charlie is not red then The brother of Harry is Fiona. Fiona is not the brother of Harry if Bob is not white. Fiona is the grandfather of Dave if Charlie is young. If Bob is not white then The grandfather of Dave is not Fiona. If Charlie is not red then Bob is not furry. Bob is furry if Bob is not white. If Charlie is young then Fiona is not rough. If Bob is not white then Fiona is rough. Anne is not Erin's uncle if Fiona is not rough. If Bob is not white then Anne is the uncle of Erin. If Fiona is the grandfather of Dave then The grandmother of Gary is Harry. The grandmother of Gary is not Harry if Bob is not white. Harry is not nice if Bob is not white. Gary is Dave's aunt if Bob is not white. If Fiona is not rough then Gary is not blue. If Gary is Dave's aunt then Gary is blue. If Harry is the grandmother of Gary then Bob is not quiet. Bob is quiet if Harry is not nice. Dave is the grandfather of Charlie if Gary is the aunt of Dave. Charlie is not the uncle of Gary if Bob is not furry. If Bob is not white then Charlie is the uncle of Gary. Dave is not Erin's sister if Bob is not quiet. The sister of Erin is Dave if The grandfather of Charlie is Dave. Charlie is not big if Fiona is the brother of Harry. If Dave is the grandfather of Charlie then Charlie is big. The son of Fiona is not Gary if Charlie is not red. Gary is Fiona's son if Harry is not nice. If Bob is not quiet then Erin is not nice. If Bob is not white then Erin is nice. Harry is the uncle of Gary if The grandfather of Charlie is Dave. If Charlie is not the uncle of Gary then The grandfather of Erin is Gary. If Gary is Dave's aunt then Gary is not Erin's grandfather. Gary is round if The sister of Erin is not Dave. Gary is not round if Gary is Dave's aunt. If Erin is not nice then Charlie is Anne's father. If The aunt of Dave is Gary then Charlie is not the father of Anne.