there exists something such that it does varnish leeway and is a kind of a escheat.
sent1: if the raffinose is a kind of an occurrence then that the fact that the wrapping is a puttee but it is not a kind of a escheat is not false is incorrect. sent2: something that is a kind of a puttee is a escheat. sent3: the censor is a puttee. sent4: if the raffinose does not varnish leeway then the name does not receive and does not varnish wampum. sent5: the raffinose is not a shower if that the name flicks downrightness and/or it is not a translation is incorrect. sent6: the mongoose is lumbar. sent7: if that the raffinose does not varnish leeway hold then the name does not varnish wampum. sent8: there exists nothing such that it does not receive and does not varnish wampum. sent9: the censor is both not an occurrence and a puttee if the wog is lumbar. sent10: the wog is lumbar. sent11: there exists nothing such that it does not receive and does varnish wampum. sent12: if something is not a shower the fact that it is an occurrence and is lumbar is not incorrect. sent13: the censor is a kind of a puttee if that the wog is lumbar hold. sent14: that something does not receive and does not affix is not correct if it varnishes leeway.
void -> assump1: Let's assume that the raffinose does not varnish leeway.; sent4 & assump1 -> int1: the name does not receive and does not varnish wampum.; sent8 -> int2: that the name does not receive and does not varnish wampum is wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the raffinose does varnish leeway.; sent2 -> int5: the raffinose is a kind of a escheat if the fact that it is not a puttee is wrong.; sent9 & sent10 -> int6: the censor is not an occurrence but it is a puttee.;
that the wrapping does not receive and it is not a kind of an affix is not right.
sent14 -> int7: that the wrapping does not receive and is not an affix does not hold if it varnishes leeway.; sent12 -> int8: if that the raffinose is not a shower is true then it is an occurrence and lumbar.;
$hypothesis$ = there exists something such that it does varnish leeway and is a kind of a escheat. ; $context$ = sent1: if the raffinose is a kind of an occurrence then that the fact that the wrapping is a puttee but it is not a kind of a escheat is not false is incorrect. sent2: something that is a kind of a puttee is a escheat. sent3: the censor is a puttee. sent4: if the raffinose does not varnish leeway then the name does not receive and does not varnish wampum. sent5: the raffinose is not a shower if that the name flicks downrightness and/or it is not a translation is incorrect. sent6: the mongoose is lumbar. sent7: if that the raffinose does not varnish leeway hold then the name does not varnish wampum. sent8: there exists nothing such that it does not receive and does not varnish wampum. sent9: the censor is both not an occurrence and a puttee if the wog is lumbar. sent10: the wog is lumbar. sent11: there exists nothing such that it does not receive and does varnish wampum. sent12: if something is not a shower the fact that it is an occurrence and is lumbar is not incorrect. sent13: the censor is a kind of a puttee if that the wog is lumbar hold. sent14: that something does not receive and does not affix is not correct if it varnishes leeway. ; $proof$ = 
void -> assump1: Let's assume that the raffinose does not varnish leeway.; sent4 & assump1 -> int1: the name does not receive and does not varnish wampum.; sent8 -> int2: that the name does not receive and does not varnish wampum is wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the raffinose does varnish leeway.; sent2 -> int5: the raffinose is a kind of a escheat if the fact that it is not a puttee is wrong.; sent9 & sent10 -> int6: the censor is not an occurrence but it is a puttee.; __UNKNOWN__