the fact that there is something such that it is not hydrostatics is not correct.
sent1: something does list and does admeasure conspicuousness. sent2: if the conglomerate admeasures highbinder then it caucuses masculinity. sent3: the conglomerate is hydrolyzable. sent4: there exists something such that it covers motoneuron. sent5: that the conglomerate is not a list is true. sent6: there is something such that it is a kind of a pressing. sent7: if something that admeasures clade is a Mortimer then the motoneuron is not circulative. sent8: if something is a kind of a list and does admeasure conspicuousness then the conglomerate is not a Mortimer. sent9: the roadrunner is hydrostatics. sent10: something is not non-anisotropic. sent11: something is a Mortimer. sent12: there is something such that it does queen Phoenicopteridae. sent13: the conglomerate is a Mortimer if it is hydrostatics.
void -> assump1: Let's assume that the conglomerate is hydrostatics.; sent13 & assump1 -> int1: the conglomerate is a Mortimer.; sent1 & sent8 -> int2: the conglomerate is not a Mortimer.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the conglomerate is not hydrostatics.; int4 -> hypothesis;
$hypothesis$ = the fact that there is something such that it is not hydrostatics is not correct. ; $context$ = sent1: something does list and does admeasure conspicuousness. sent2: if the conglomerate admeasures highbinder then it caucuses masculinity. sent3: the conglomerate is hydrolyzable. sent4: there exists something such that it covers motoneuron. sent5: that the conglomerate is not a list is true. sent6: there is something such that it is a kind of a pressing. sent7: if something that admeasures clade is a Mortimer then the motoneuron is not circulative. sent8: if something is a kind of a list and does admeasure conspicuousness then the conglomerate is not a Mortimer. sent9: the roadrunner is hydrostatics. sent10: something is not non-anisotropic. sent11: something is a Mortimer. sent12: there is something such that it does queen Phoenicopteridae. sent13: the conglomerate is a Mortimer if it is hydrostatics. ; $proof$ = 
void -> assump1: Let's assume that the conglomerate is hydrostatics.; sent13 & assump1 -> int1: the conglomerate is a Mortimer.; sent1 & sent8 -> int2: the conglomerate is not a Mortimer.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the conglomerate is not hydrostatics.; int4 -> hypothesis; __DISPROVED__