premise: Allan has not visited Seaside, Walter has not visited Independence, Stanley has visited Bonners Ferry and if Walter has not visited Independence then Micheal has visited Toccoa
hypothesis: Micheal has visited Toccoa