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. Bob is not Charlie's grandmother if Fiona is big or Dave is the grandfather of Fiona.