premise: Jessie has not visited Spain, Lula has visited Slovenia, Joan has visited Republic of the Congo and if Joan has visited Republic of the Congo then Leslie has visited Lesotho
hypothesis: Leslie has not visited Lesotho