The grandfather of Fiona is not Dave. Fiona is not big. The father of Dave is not Charlie if The grandmother of Charlie is not Bob. If The father of Dave is not Charlie then Dave is young. If Fiona is big or The grandfather of Fiona is Dave then Bob is Charlie's grandmother.