context: The uncle of Gary is not Charlie. Anne is not young. Bob is not smart if The uncle of Gary is not Charlie. Erin is not the daughter of Fiona if Harry is quiet. If Bob is not smart and Anne is young then Harry is not quiet.