the snifter stampedes Raleigh.
sent1: the snifter stampedes Raleigh if it demises Zhuang. sent2: the snifter demises Zhuang if it is a kind of a Sand that is a master. sent3: the schemer is a Loewe. sent4: if the snifter is not a Sand but it is a master it demises Zhuang. sent5: the trapshooter does master and it is a mackle. sent6: that the schemer is not non-neurasthenic and it is a Loewe is not true if it does not master. sent7: if something is a kind of a cannibal then it quenches crapshooter. sent8: if there is something such that it is not a neurasthenic then the snifter is not a Sand. sent9: the snifter is not a Sand but it is a kind of a master if there exists something such that it is not neurasthenic. sent10: that something does stampede Raleigh and is not a mackle is not correct if it is not a cannibal. sent11: the trapshooter is a cannibal if there is something such that the fact that either it is a neurasthenic or it is a kind of a Loewe or both does not hold. sent12: there exists something such that it is not a master. sent13: if the afterdeck is a cannibal the schemer is a kind of a mackle. sent14: the afterdeck is a cannibal.
sent13 & sent14 -> int1: the fact that the schemer is a kind of a mackle hold.; void -> assump1: Let's assume that the schemer is a neurasthenic.; int1 & assump1 -> int2: the schemer is both a mackle and a neurasthenic.;
the snifter does not stampede Raleigh.
sent10 -> int3: the fact that the afterdeck does stampede Raleigh but it is not a mackle does not hold if it is not a cannibal.;
$hypothesis$ = the snifter stampedes Raleigh. ; $context$ = sent1: the snifter stampedes Raleigh if it demises Zhuang. sent2: the snifter demises Zhuang if it is a kind of a Sand that is a master. sent3: the schemer is a Loewe. sent4: if the snifter is not a Sand but it is a master it demises Zhuang. sent5: the trapshooter does master and it is a mackle. sent6: that the schemer is not non-neurasthenic and it is a Loewe is not true if it does not master. sent7: if something is a kind of a cannibal then it quenches crapshooter. sent8: if there is something such that it is not a neurasthenic then the snifter is not a Sand. sent9: the snifter is not a Sand but it is a kind of a master if there exists something such that it is not neurasthenic. sent10: that something does stampede Raleigh and is not a mackle is not correct if it is not a cannibal. sent11: the trapshooter is a cannibal if there is something such that the fact that either it is a neurasthenic or it is a kind of a Loewe or both does not hold. sent12: there exists something such that it is not a master. sent13: if the afterdeck is a cannibal the schemer is a kind of a mackle. sent14: the afterdeck is a cannibal. ; $proof$ = 
sent13 & sent14 -> int1: the fact that the schemer is a kind of a mackle hold.; void -> assump1: Let's assume that the schemer is a neurasthenic.; int1 & assump1 -> int2: the schemer is both a mackle and a neurasthenic.; __UNKNOWN__