that that the stipe is both not a lawrencium and Viennese is correct does not hold.
sent1: The Tourette does not treat thesaurus. sent2: if the fact that something does not covet shibboleth but it is a mortarboard is not correct it does not squawk spiderwort. sent3: the spiderwort is not a mortarboard. sent4: the fact that the spiderwort is not a kind of a Rushmore is not false. sent5: the lysosome does not squawk spiderwort if it is a Rushmore. sent6: the stipe is not a tumblebug. sent7: if the stipe does not covet shibboleth but it is a mortarboard the fact that the spiderwort is not a kind of a immunosuppressant hold. sent8: the fact that the lysosome does not covet electrometer but it is a Rushmore is incorrect if the thesaurus does not treat Tourette. sent9: if the fact that something does not covet electrometer but it is a Rushmore is not true then it is not a tumblebug. sent10: if the spiderwort is not a kind of a immunosuppressant the lysosome is a tumblebug. sent11: if something does not squawk spiderwort then the fact that it is not a kind of a lawrencium and is Viennese is incorrect. sent12: the thesaurus does not treat Tourette. sent13: if that something does not treat Tourette but it covets electrometer does not hold then it is not a lawrencium. sent14: the fact that the abbacy is not Viennese is not wrong. sent15: the fact that the stipe is both a lawrencium and not non-Viennese is not right. sent16: the thesaurus is a kind of a brand-newness. sent17: that the stipe covets shibboleth and it is a kind of a mortarboard is not true. sent18: if something does not treat Tourette that it is Viennese and it is a lawrencium does not hold.
void -> assump1: Let's assume that the stipe does not covet shibboleth and is a mortarboard.; sent7 & assump1 -> int1: the spiderwort is not a kind of a immunosuppressant.; int1 & sent10 -> int2: the lysosome is a kind of a tumblebug.; sent9 -> int3: the lysosome is not a tumblebug if that it does not covet electrometer and is a kind of a Rushmore does not hold.; sent8 & sent12 -> int4: the fact that the lysosome does not covet electrometer but it is a Rushmore does not hold.; int3 & int4 -> int5: the lysosome is not a tumblebug.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the stipe does not covet shibboleth but it is a mortarboard does not hold.; sent2 -> int8: the stipe does not squawk spiderwort if that it does not covet shibboleth and it is a mortarboard is incorrect.; int7 & int8 -> int9: the stipe does not squawk spiderwort.; sent11 -> int10: if the stipe does not squawk spiderwort the fact that it is not a lawrencium and it is Viennese is not true.; int9 & int10 -> hypothesis;
$hypothesis$ = that that the stipe is both not a lawrencium and Viennese is correct does not hold. ; $context$ = sent1: The Tourette does not treat thesaurus. sent2: if the fact that something does not covet shibboleth but it is a mortarboard is not correct it does not squawk spiderwort. sent3: the spiderwort is not a mortarboard. sent4: the fact that the spiderwort is not a kind of a Rushmore is not false. sent5: the lysosome does not squawk spiderwort if it is a Rushmore. sent6: the stipe is not a tumblebug. sent7: if the stipe does not covet shibboleth but it is a mortarboard the fact that the spiderwort is not a kind of a immunosuppressant hold. sent8: the fact that the lysosome does not covet electrometer but it is a Rushmore is incorrect if the thesaurus does not treat Tourette. sent9: if the fact that something does not covet electrometer but it is a Rushmore is not true then it is not a tumblebug. sent10: if the spiderwort is not a kind of a immunosuppressant the lysosome is a tumblebug. sent11: if something does not squawk spiderwort then the fact that it is not a kind of a lawrencium and is Viennese is incorrect. sent12: the thesaurus does not treat Tourette. sent13: if that something does not treat Tourette but it covets electrometer does not hold then it is not a lawrencium. sent14: the fact that the abbacy is not Viennese is not wrong. sent15: the fact that the stipe is both a lawrencium and not non-Viennese is not right. sent16: the thesaurus is a kind of a brand-newness. sent17: that the stipe covets shibboleth and it is a kind of a mortarboard is not true. sent18: if something does not treat Tourette that it is Viennese and it is a lawrencium does not hold. ; $proof$ = 
void -> assump1: Let's assume that the stipe does not covet shibboleth and is a mortarboard.; sent7 & assump1 -> int1: the spiderwort is not a kind of a immunosuppressant.; int1 & sent10 -> int2: the lysosome is a kind of a tumblebug.; sent9 -> int3: the lysosome is not a tumblebug if that it does not covet electrometer and is a kind of a Rushmore does not hold.; sent8 & sent12 -> int4: the fact that the lysosome does not covet electrometer but it is a Rushmore does not hold.; int3 & int4 -> int5: the lysosome is not a tumblebug.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the stipe does not covet shibboleth but it is a mortarboard does not hold.; sent2 -> int8: the stipe does not squawk spiderwort if that it does not covet shibboleth and it is a mortarboard is incorrect.; int7 & int8 -> int9: the stipe does not squawk spiderwort.; sent11 -> int10: if the stipe does not squawk spiderwort the fact that it is not a lawrencium and it is Viennese is not true.; int9 & int10 -> hypothesis; __PROVED__