context: The uncle of Anne is not Harry. Anne is not nice. Bob is Gary's aunt. Erin is not the wife of Fiona. If Erin is the brother of Anne then Fiona is furry. Gary is the brother of Charlie if Charlie is blue. If Erin is blue then Charlie is blue. If Charlie is blue then Gary is not the grandfather of Dave. Harry is not Bob's son if Charlie is blue. Fiona is not rough if Harry is Gary's mother. The mother of Gary is not Harry if Erin is blue. If Charlie is blue then Fiona is nice. If Charlie is blue then Anne is blue. Erin is not Charlie's uncle if Fiona is furry. Erin is not the uncle of Harry if Erin is blue. Harry is Bob's son if Anne is not nice. If The mother of Gary is Harry then Anne is not blue. Fiona is green if The uncle of Harry is not Erin. Fiona is not green if Gary is Dave's grandfather. If Harry is not round then Fiona is big. Erin is the uncle of Charlie if The uncle of Harry is not Erin. If Charlie is blue then Harry is furry. Gary is not the brother of Charlie if Harry is Bob's son. If Charlie is blue then Bob is the grandfather of Fiona. If Anne is not nice then Harry is the mother of Gary. If Erin is blue then Erin is not Anne's brother. If Erin is not the uncle of Harry then Bob is not the father of Erin. Fiona is not furry if The uncle of Harry is not Erin. If Bob is not Fiona's grandfather then Harry is nice. If The aunt of Gary is Bob then Harry is not furry. If Erin is not the uncle of Harry then Harry is round. If Harry is Bob's son then Harry is not round. If Anne is not nice then The brother of Anne is Erin. Fiona is rough if Erin is blue. If Fiona is not rough then Gary is Dave's grandfather. If Erin is not the uncle of Charlie then The grandfather of Fiona is not Bob. Bob is the father of Erin if Bob is Gary's aunt. If Erin is not Harry's uncle then Fiona is not big. Anne is big if Erin is blue. If Erin is blue then Harry is not nice. Anne is not big if Harry is Gary's mother and Erin is Fiona's wife.