the fact that the stover is not a weeds and not divergent does not hold.
sent1: if either something does not update Spanish or it is a sarcosporidian or both then it twills initial. sent2: if the psychrometer is not a starches and/or it is an orthodoxy the flier is an opened. sent3: the psychrometer is not a kind of a sarcosporidian if it does not update Spanish and it is an orthodoxy. sent4: if the fact that the flier is medieval is not wrong the ampulla updates Spanish. sent5: the fact that the stover is a weeds but not divergent does not hold if it laments. sent6: the psychrometer is either not a starches or an orthodoxy or both. sent7: that the stover is a weeds and is not divergent is wrong. sent8: the psychrometer is a starches and/or it is an orthodoxy. sent9: the flier is not a Mentha but it is a balldress if it is not medieval. sent10: if the flier is not a Mentha and is a balldress then it is not an opened. sent11: the flier is not an orthodoxy but it is a kind of a lament if it is not a kind of a balldress. sent12: that the stover does not update Spanish and/or is a kind of a sarcosporidian if the fact that the ampulla update Spanish hold is not incorrect. sent13: something does not extort but it is an orthodoxy if it is medieval. sent14: the flier is a balldress. sent15: if the stover laments then the fact that the fact that it is not a weeds and is not divergent is not wrong is not correct. sent16: the stover twills initial if it is a sarcosporidian.
void -> assump1: Let's assume that the flier is not medieval.; sent9 & assump1 -> int1: the flier is not a Mentha but it is a balldress.; int1 & sent10 -> int2: the fact that the flier is not an opened hold.; sent2 & sent6 -> int3: that the flier does open is not wrong.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the flier is medieval hold.; int5 & sent4 -> int6: the ampulla does update Spanish.; int6 & sent12 -> int7: the stover does not update Spanish or it is a sarcosporidian or both.; sent1 -> int8: if either the stover does not update Spanish or it is a kind of a sarcosporidian or both it does twill initial.; int7 & int8 -> int9: the stover does twill initial.;
the Saracen does not extort but it is a kind of an orthodoxy.
sent13 -> int10: the Saracen does not extort but it is a kind of an orthodoxy if it is medieval.;
$hypothesis$ = the fact that the stover is not a weeds and not divergent does not hold. ; $context$ = sent1: if either something does not update Spanish or it is a sarcosporidian or both then it twills initial. sent2: if the psychrometer is not a starches and/or it is an orthodoxy the flier is an opened. sent3: the psychrometer is not a kind of a sarcosporidian if it does not update Spanish and it is an orthodoxy. sent4: if the fact that the flier is medieval is not wrong the ampulla updates Spanish. sent5: the fact that the stover is a weeds but not divergent does not hold if it laments. sent6: the psychrometer is either not a starches or an orthodoxy or both. sent7: that the stover is a weeds and is not divergent is wrong. sent8: the psychrometer is a starches and/or it is an orthodoxy. sent9: the flier is not a Mentha but it is a balldress if it is not medieval. sent10: if the flier is not a Mentha and is a balldress then it is not an opened. sent11: the flier is not an orthodoxy but it is a kind of a lament if it is not a kind of a balldress. sent12: that the stover does not update Spanish and/or is a kind of a sarcosporidian if the fact that the ampulla update Spanish hold is not incorrect. sent13: something does not extort but it is an orthodoxy if it is medieval. sent14: the flier is a balldress. sent15: if the stover laments then the fact that the fact that it is not a weeds and is not divergent is not wrong is not correct. sent16: the stover twills initial if it is a sarcosporidian. ; $proof$ = 
void -> assump1: Let's assume that the flier is not medieval.; sent9 & assump1 -> int1: the flier is not a Mentha but it is a balldress.; int1 & sent10 -> int2: the fact that the flier is not an opened hold.; sent2 & sent6 -> int3: that the flier does open is not wrong.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the flier is medieval hold.; int5 & sent4 -> int6: the ampulla does update Spanish.; int6 & sent12 -> int7: the stover does not update Spanish or it is a sarcosporidian or both.; sent1 -> int8: if either the stover does not update Spanish or it is a kind of a sarcosporidian or both it does twill initial.; int7 & int8 -> int9: the stover does twill initial.; __UNKNOWN__