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