premise: Jose has not visited West Lafayette, Peter has visited Philadelphia, Milton has visited East Chicago and if Milton has visited East Chicago then Marion has visited Springfield
hypothesis: Marion has visited Springfield