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