context: The uncle of Gary is not Charlie. The son of Harry is not Erin. 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 Fiona's daughter if Harry is quiet and The son of Harry is Erin.