the Western is not an access.
sent1: The mayoress untunes cholesterol. sent2: the Western is an access if the SALT is not a kind of a superscript. sent3: there is something such that that it is not cosmologic and resects Ginkgoaceae does not hold. sent4: the cholesterol untunes mayoress. sent5: the SALT clings hospitalization if that the Chain is non-arbitrable thing that resects Wegener is wrong. sent6: if something is a kind of a Phragmipedium that it is not a kind of a flurry and it does not substitute is incorrect. sent7: if the cholesterol does untune mayoress the Chain does keep. sent8: if the SALT does cling hospitalization the Western cling hospitalization. sent9: the bread is unfruitful if the flagon is hemispherical. sent10: the SALT is superscript. sent11: if that the SALT is both not a pellitory-of-the-wall and a superscript is not correct the Western is an access. sent12: the cholesterol is Napoleonic and not combinative if the neon is not proximal. sent13: the flagon is hemispherical if there exists something such that that it is not a flurry and not a substitute is not right. sent14: the SALT does not cling hospitalization if there is something such that that it is not arbitrable and resects Wegener is wrong. sent15: if there is something such that that it is a kind of non-cosmologic thing that does resect Ginkgoaceae is not correct then the microscope is a Phragmipedium. sent16: if the bread is unfruitful then the neon is not proximal. sent17: if something is a keep it does not access. sent18: the Chain is not a superscript. sent19: if something does untune mayoress then it is a kind of a keep that does not access. sent20: if the SALT is not a pellitory-of-the-wall and is superscript then the Chain is not a kind of a keep. sent21: something does untune mayoress if it clings hospitalization.
void -> assump1: Let's assume that the SALT is not a pellitory-of-the-wall and is superscript.; sent20 & assump1 -> int1: the Chain is not a keep.; sent7 & sent4 -> int2: the Chain is a keep.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the SALT is not a pellitory-of-the-wall but superscript is not true.; int4 & sent11 -> hypothesis;
the Western is not an access.
sent17 -> int5: if the Western does keep then that it is an access is false.;
$hypothesis$ = the Western is not an access. ; $context$ = sent1: The mayoress untunes cholesterol. sent2: the Western is an access if the SALT is not a kind of a superscript. sent3: there is something such that that it is not cosmologic and resects Ginkgoaceae does not hold. sent4: the cholesterol untunes mayoress. sent5: the SALT clings hospitalization if that the Chain is non-arbitrable thing that resects Wegener is wrong. sent6: if something is a kind of a Phragmipedium that it is not a kind of a flurry and it does not substitute is incorrect. sent7: if the cholesterol does untune mayoress the Chain does keep. sent8: if the SALT does cling hospitalization the Western cling hospitalization. sent9: the bread is unfruitful if the flagon is hemispherical. sent10: the SALT is superscript. sent11: if that the SALT is both not a pellitory-of-the-wall and a superscript is not correct the Western is an access. sent12: the cholesterol is Napoleonic and not combinative if the neon is not proximal. sent13: the flagon is hemispherical if there exists something such that that it is not a flurry and not a substitute is not right. sent14: the SALT does not cling hospitalization if there is something such that that it is not arbitrable and resects Wegener is wrong. sent15: if there is something such that that it is a kind of non-cosmologic thing that does resect Ginkgoaceae is not correct then the microscope is a Phragmipedium. sent16: if the bread is unfruitful then the neon is not proximal. sent17: if something is a keep it does not access. sent18: the Chain is not a superscript. sent19: if something does untune mayoress then it is a kind of a keep that does not access. sent20: if the SALT is not a pellitory-of-the-wall and is superscript then the Chain is not a kind of a keep. sent21: something does untune mayoress if it clings hospitalization. ; $proof$ = 
void -> assump1: Let's assume that the SALT is not a pellitory-of-the-wall and is superscript.; sent20 & assump1 -> int1: the Chain is not a keep.; sent7 & sent4 -> int2: the Chain is a keep.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the SALT is not a pellitory-of-the-wall but superscript is not true.; int4 & sent11 -> hypothesis; __DISPROVED__