premise: Carolyn has not visited Cabo, Kathy has not visited Philippines, Monica has visited Madagascar and if Carolyn has visited Cabo then Sandy has visited Trinidad & Tobago
hypothesis: Sandy has not visited Trinidad & Tobago