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