premise: Warren has not visited Martinez, Alexander has visited Red Cloud, Manuel has visited Milledgeville and if Manuel has visited Milledgeville then Michael has visited East Orange
hypothesis: Michael has visited East Orange