the conquistador does palatalize.
sent1: either something does not outstare Fructidor or it does not palatalize or both if it is obvious. sent2: the conquistador does not outstare Fructidor. sent3: The Fructidor does not outstare conquistador. sent4: if the conquistador does palatalize that it is a supper hold. sent5: if something is not non-meteoric the fact that it is non-corporate and does not fence is false. sent6: if that the frypan is not irregular and it is not a sulfamethoxazole does not hold the pleochroism does not mystify chronicler. sent7: the Adelie outstares Fructidor. sent8: the reproducer is a sulfamethoxazole that is a kind of an overestimate. sent9: the conquistador does outstare Fructidor if it does palatalize. sent10: the conquistador palatalizes if the chronicler does not outstare Fructidor and/or does not palatalizes. sent11: the shortener does outstare Fructidor. sent12: the conquistador is not a figuration. sent13: something does palatalize if it does grab. sent14: if the fact that the coagulant does piddle shortener hold it piddles unmindfulness. sent15: if the fact that something is both not corporate and not a fence does not hold then it is obvious. sent16: the chronicler is obvious if the pleochroism is obvious. sent17: if the pleochroism does not mystify chronicler it is a continent but not non-meteoric. sent18: if the conquistador does outstare Fructidor then it magnetizes.
void -> assump1: Let's assume that the conquistador palatalizes.; sent9 & assump1 -> int1: the conquistador does outstare Fructidor.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
if the kedgeree does grab then the fact that it palatalizes is correct.
sent13 -> hypothesis;
$hypothesis$ = the conquistador does palatalize. ; $context$ = sent1: either something does not outstare Fructidor or it does not palatalize or both if it is obvious. sent2: the conquistador does not outstare Fructidor. sent3: The Fructidor does not outstare conquistador. sent4: if the conquistador does palatalize that it is a supper hold. sent5: if something is not non-meteoric the fact that it is non-corporate and does not fence is false. sent6: if that the frypan is not irregular and it is not a sulfamethoxazole does not hold the pleochroism does not mystify chronicler. sent7: the Adelie outstares Fructidor. sent8: the reproducer is a sulfamethoxazole that is a kind of an overestimate. sent9: the conquistador does outstare Fructidor if it does palatalize. sent10: the conquistador palatalizes if the chronicler does not outstare Fructidor and/or does not palatalizes. sent11: the shortener does outstare Fructidor. sent12: the conquistador is not a figuration. sent13: something does palatalize if it does grab. sent14: if the fact that the coagulant does piddle shortener hold it piddles unmindfulness. sent15: if the fact that something is both not corporate and not a fence does not hold then it is obvious. sent16: the chronicler is obvious if the pleochroism is obvious. sent17: if the pleochroism does not mystify chronicler it is a continent but not non-meteoric. sent18: if the conquistador does outstare Fructidor then it magnetizes. ; $proof$ = 
void -> assump1: Let's assume that the conquistador palatalizes.; sent9 & assump1 -> int1: the conquistador does outstare Fructidor.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __DISPROVED__