context: Harry is not the sister of Gary. Anne is not Dave's husband. If Anne is not nice then Harry is not Dave's sister. If The grandfather of Harry is not Charlie then The father of Bob is not Erin. The father of Anne is Gary if Dave is not the brother of Bob. Anne is the uncle of Bob if Anne is not nice. Harry is not blue if Charlie is not young. If Anne is not nice then Charlie is quiet. If Anne is not the father of Bob then Harry is blue. Erin is not the daughter of Charlie if Dave is not the brother of Bob. If Charlie is not red then The uncle of Charlie is not Bob. If Charlie is quiet then Charlie is not the brother of Bob. If The brother of Bob is not Dave then Charlie is Dave's husband. If Bob is not red then Erin is Bob's father. If Bob is not red then Charlie is kind. Dave is the uncle of Fiona if Charlie is not red. If Bob is not red then Anne is not nice. If Gary is the father of Bob then The grandfather of Harry is not Charlie. If Harry is not the sister of Gary then Dave is not Fiona's uncle. If Dave is not Bob's brother then Charlie is Harry's grandfather. If Anne is not Dave's husband then Gary is Bob's father. If Charlie is not Harry's grandfather then Erin is nice. Erin is not nice if Erin is not the daughter of Charlie. If Charlie is not young then The uncle of Bob is not Anne. If Anne is not nice then Anne is not Bob's father. Charlie is young if Bob is not red. If Dave is not the brother of Bob then Fiona is big. The grandmother of Harry is not Bob if Charlie is quiet. The husband of Dave is not Charlie if Gary is the father of Bob. If Bob is not red then The father of Bob is not Gary. If Charlie is not the grandfather of Harry then Charlie is not young. If Harry is not Gary's sister then The uncle of Charlie is Bob. Bob is Harry's grandmother if Anne is not Bob's uncle. If Dave is not the uncle of Fiona then Fiona is not big. If Dave is not the uncle of Fiona then Charlie is not Bob's brother.