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