premise: Marlene has not visited Tonga, Jessica has not visited Djibouti, Brandi has visited Luxembourg and if Jessica has not visited Djibouti then Cathy has not visited Honduras
hypothesis: Cathy has not visited Honduras