The wife of Gary is Charlie. Gary is not big. If The wife of Gary is Charlie then Anne is big. Gary is not the daughter of Charlie if Anne is big. If Fiona is Erin's grandfather then The daughter of Charlie is Gary. The aunt of Anne is Erin if Gary is not big. If Fiona is Erin's grandfather then Erin is not Anne's aunt. If Gary is not Charlie's daughter then Dave is not the sister of Bob. If Fiona is Erin's grandfather then The sister of Bob is Dave. If Anne is big then Fiona is kind. If The grandfather of Erin is Fiona then Fiona is not kind. If Anne is big then Erin is not rough. Erin is rough if Fiona is the grandfather of Erin. If Dave is not the sister of Bob then Anne is not red. If The grandfather of Erin is Fiona then Anne is red. If Anne is not red then Dave is big. Dave is not big if Fiona is the grandfather of Erin. Harry is the aunt of Charlie if Erin is not rough. If The grandfather of Erin is Fiona then The aunt of Charlie is not Harry.