the magician does not spud.
sent1: the magician is not a spud if there is something such that it is a kind of a Gabonese. sent2: the magician does spud if the Surrey is a spud. sent3: the playback mummifies magician. sent4: the Surrey mummifies pectoral and it does mummify magician. sent5: the fact that the Surrey is a Hordeum is right if the pooch does mummify pectoral. sent6: the Surrey mummifies pectoral. sent7: that the Carmelite is Gabonese but it is not a Damaliscus is not true.
sent4 -> int1: the Surrey does mummify magician.;
something is a Hordeum.
$hypothesis$ = the magician does not spud. ; $context$ = sent1: the magician is not a spud if there is something such that it is a kind of a Gabonese. sent2: the magician does spud if the Surrey is a spud. sent3: the playback mummifies magician. sent4: the Surrey mummifies pectoral and it does mummify magician. sent5: the fact that the Surrey is a Hordeum is right if the pooch does mummify pectoral. sent6: the Surrey mummifies pectoral. sent7: that the Carmelite is Gabonese but it is not a Damaliscus is not true. ; $proof$ = 
sent4 -> int1: the Surrey does mummify magician.; __UNKNOWN__