premise: Dwayne has only visited Australia, Kyle has only visited Cabo, William has only visited Austria, Bill has only visited Malta, Brett has only visited Malawi, Tommy has only visited Luxembourg, Raymond has only visited Czech Republic
hypothesis: Tommy didn't visit Madagascar