premise: Tamara has not visited Australia, Marian has visited Costa Rica, Bertha has not visited Trinidad & Tobago and if Bertha has visited Trinidad & Tobago then Mattie has visited Cabo
hypothesis: Mattie has visited Cabo