that the autoloader is not antagonistic if the fact that the lexicographer is both a milcher and paleocortical is incorrect is not true.
sent1: the lexicographer does not urticate permeability. sent2: something does urticate fairy. sent3: the paragrapher mounds stoichiometry if the fact that the autoloader is not a samurai and does not mounds stoichiometry is not correct. sent4: if the lexicographer does desexualize varix and it is antagonistic then the fact that the paragrapher is not paleocortical is not wrong. sent5: the lexicographer is not a Populus. sent6: there is something such that it is reverent. sent7: if the fact that something does not desexualize varix is not incorrect that the autoloader is not antagonistic is not incorrect. sent8: the lexicographer is not a Bakunin. sent9: if that the autoloader is paleocortical is not true then the lexicographer is not antagonistic. sent10: if there is something such that that it is a milcher and paleocortical is not correct then the paragrapher does not desexualize varix. sent11: there is something such that it is not antagonistic. sent12: if there is something such that it does not urticate trefoil then the autoloader tills and is a kind of a formulary. sent13: there exists something such that it is changeable. sent14: that the airmailer does not urticate trefoil hold. sent15: the paragrapher is not antagonistic if there exists something such that the fact that it is a milcher and desexualizes varix is incorrect. sent16: something is not an armoire. sent17: the lexicographer is not paleocortical if the paragrapher is a milcher and it desexualizes varix. sent18: if that the lexicographer is paleocortical and it does desexualize varix is not true the paragrapher is not a milcher. sent19: the fact that something is not a samurai and it does not mound stoichiometry is not right if it is a till. sent20: something does not urticate permeability.
void -> assump1: Let's assume that the fact that the lexicographer is both a milcher and paleocortical is false.; assump1 -> int1: there is something such that that that it is a milcher and it is paleocortical is not incorrect is not true.; int1 & sent10 -> int2: that the paragrapher does not desexualize varix is not wrong.; int2 -> int3: there is something such that it does not desexualize varix.; int3 & sent7 -> int4: the autoloader is not antagonistic.; [assump1] & int4 -> hypothesis;
the whisperer is not antagonistic.
sent19 -> int5: if the autoloader is a till the fact that it is not a samurai and it does not mound stoichiometry does not hold.; sent14 -> int6: there exists something such that it does not urticate trefoil.; int6 & sent12 -> int7: the autoloader is a till and formulary.; int7 -> int8: the autoloader is a till.; int5 & int8 -> int9: the fact that the autoloader is not a samurai and does not mound stoichiometry is incorrect.; sent3 & int9 -> int10: the paragrapher mounds stoichiometry.; int10 -> int11: there is something such that that it does mound stoichiometry is right.;
$hypothesis$ = that the autoloader is not antagonistic if the fact that the lexicographer is both a milcher and paleocortical is incorrect is not true. ; $context$ = sent1: the lexicographer does not urticate permeability. sent2: something does urticate fairy. sent3: the paragrapher mounds stoichiometry if the fact that the autoloader is not a samurai and does not mounds stoichiometry is not correct. sent4: if the lexicographer does desexualize varix and it is antagonistic then the fact that the paragrapher is not paleocortical is not wrong. sent5: the lexicographer is not a Populus. sent6: there is something such that it is reverent. sent7: if the fact that something does not desexualize varix is not incorrect that the autoloader is not antagonistic is not incorrect. sent8: the lexicographer is not a Bakunin. sent9: if that the autoloader is paleocortical is not true then the lexicographer is not antagonistic. sent10: if there is something such that that it is a milcher and paleocortical is not correct then the paragrapher does not desexualize varix. sent11: there is something such that it is not antagonistic. sent12: if there is something such that it does not urticate trefoil then the autoloader tills and is a kind of a formulary. sent13: there exists something such that it is changeable. sent14: that the airmailer does not urticate trefoil hold. sent15: the paragrapher is not antagonistic if there exists something such that the fact that it is a milcher and desexualizes varix is incorrect. sent16: something is not an armoire. sent17: the lexicographer is not paleocortical if the paragrapher is a milcher and it desexualizes varix. sent18: if that the lexicographer is paleocortical and it does desexualize varix is not true the paragrapher is not a milcher. sent19: the fact that something is not a samurai and it does not mound stoichiometry is not right if it is a till. sent20: something does not urticate permeability. ; $proof$ = 
void -> assump1: Let's assume that the fact that the lexicographer is both a milcher and paleocortical is false.; assump1 -> int1: there is something such that that that it is a milcher and it is paleocortical is not incorrect is not true.; int1 & sent10 -> int2: that the paragrapher does not desexualize varix is not wrong.; int2 -> int3: there is something such that it does not desexualize varix.; int3 & sent7 -> int4: the autoloader is not antagonistic.; [assump1] & int4 -> hypothesis; __DISPROVED__