the stump is a kind of a wealth.
sent1: if that the Michigander is not a Mediterranean but it strips mesomorphy does not hold the waveguide is not a Turkmen. sent2: the number is a kind of a Turkmen and it is a mahout if it is not a Fahrenheit. sent3: if that the Michigander does not command stemmer and does strip mesomorphy is not right the number is not Mediterranean. sent4: if the Michigander is not Mediterranean the sacking does risk Luger and is a wealth. sent5: if the rabato is not a Turkmen then the fact that the waveguide does not risk Luger or it is not non-Mediterranean or both is wrong. sent6: the number is not a kind of a Fahrenheit. sent7: the Michigander is a kind of a wealth if the stump does not command stemmer. sent8: the rabato is not a Turkmen. sent9: the number risks Luger or it is a Mediterranean or both. sent10: the stump is a kind of a wealth if the Michigander strips mesomorphy. sent11: the Michigander is a mahout and is a kind of a Fahrenheit if the fact that the number is not a partita is true. sent12: the number is not a partita if it is an anisette and it commands cemetery. sent13: the waveguide risks Luger if the rabato is not a kind of a Turkmen. sent14: if the number is not a Mediterranean then the waveguide does risk Luger and/or is a Mediterranean.
void -> assump1: Let's assume that the fact that the Michigander does not command stemmer and strips mesomorphy is incorrect.; sent3 & assump1 -> int1: the number is not a Mediterranean.; sent5 & sent8 -> int2: the fact that the waveguide does not risk Luger or it is a kind of a Mediterranean or both is not correct.;
the stump is not a wealth.
sent2 & sent6 -> int3: the number is a Turkmen and it is a mahout.; int3 -> int4: the number is Turkmen.; int4 -> int5: there is something such that it is a Turkmen.;
$hypothesis$ = the stump is a kind of a wealth. ; $context$ = sent1: if that the Michigander is not a Mediterranean but it strips mesomorphy does not hold the waveguide is not a Turkmen. sent2: the number is a kind of a Turkmen and it is a mahout if it is not a Fahrenheit. sent3: if that the Michigander does not command stemmer and does strip mesomorphy is not right the number is not Mediterranean. sent4: if the Michigander is not Mediterranean the sacking does risk Luger and is a wealth. sent5: if the rabato is not a Turkmen then the fact that the waveguide does not risk Luger or it is not non-Mediterranean or both is wrong. sent6: the number is not a kind of a Fahrenheit. sent7: the Michigander is a kind of a wealth if the stump does not command stemmer. sent8: the rabato is not a Turkmen. sent9: the number risks Luger or it is a Mediterranean or both. sent10: the stump is a kind of a wealth if the Michigander strips mesomorphy. sent11: the Michigander is a mahout and is a kind of a Fahrenheit if the fact that the number is not a partita is true. sent12: the number is not a partita if it is an anisette and it commands cemetery. sent13: the waveguide risks Luger if the rabato is not a kind of a Turkmen. sent14: if the number is not a Mediterranean then the waveguide does risk Luger and/or is a Mediterranean. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Michigander does not command stemmer and strips mesomorphy is incorrect.; sent3 & assump1 -> int1: the number is not a Mediterranean.; sent5 & sent8 -> int2: the fact that the waveguide does not risk Luger or it is a kind of a Mediterranean or both is not correct.; __UNKNOWN__