context: The uncle of Gary is not Charlie. Erin is Harry's grandmother. 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. If The grandmother of Harry is Erin and Erin is not Fiona's daughter then Harry is not red.