The uncle of Gary is not Charlie. 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. Erin is the daughter of Fiona if Harry is quiet and The daughter of Dave is Harry.