The uncle of Gary is not Charlie. Harry is not the daughter of Dave. Bob is not smart if The uncle of Gary is not Charlie. Harry is red if Erin is not Fiona's daughter. Harry is quiet if Bob is not smart. If Harry is quiet and The daughter of Dave is Harry then The daughter of Fiona is not Erin.