Erin is round. Bob is blue. Gary is smart. If Charlie is not Dave's mother then Fiona is the brother of Erin. If Harry is not rough then Harry is not the brother of Gary. The grandfather of Dave is not Bob if Harry is not rough. If Harry is not Gary's brother then Gary is not Anne's brother. If The brother of Gary is not Harry then Anne is red. If Harry is not rough then Charlie is the mother of Dave. Charlie is not the mother of Dave if Anne is not Dave's father. If Dave is not Charlie's husband then The wife of Gary is not Bob. Fiona is cold if The husband of Charlie is not Dave. If Harry is not rough then The father of Dave is Anne. Erin is not big if Bob is blue. If Dave is not the husband of Charlie then Charlie is not big. If Harry is not rough then Erin is big. If Erin is round then Harry is not the uncle of Dave. If Harry is not rough then Fiona is not white. If Bob is big then Bob is the wife of Gary. If The brother of Gary is not Harry then The brother of Erin is not Fiona. Dave is nice if Bob is big. Fiona is white if Erin is round. If Charlie is not the mother of Dave then Charlie is big. Dave is red if Erin is round. If Fiona is Erin's brother then Fiona is not cold. If Gary is smart then Bob is Dave's grandfather. The uncle of Dave is Harry if Harry is not rough. If Harry is not rough then Dave is not red. If Harry is not rough then The husband of Charlie is not Dave. Dave is not nice if Harry is not rough. Fiona is the mother of Harry if Harry is not rough. Fiona is not the mother of Harry if Harry is not Dave's uncle. Fiona is not rough if Harry is not rough. Bob is not big if Harry is not rough. If Erin is round then Fiona is rough. If Harry is not rough then The daughter of Bob is Dave. Bob is big if Dave is red. Anne is not red if Fiona is rough. If Erin is round then Dave is not the daughter of Bob. The father of Dave is not Anne if Harry is quiet and Dave is not the daughter of Bob.