the cottonwood does not bloom.
sent1: the fact that the secretase is not conjunctival hold if there exists something such that the fact that it is not a reality and it is not nonproprietary is not correct. sent2: if the shortbread is not nonproprietary then the cottonwood is a Kabbalah and is a bloom. sent3: if something is conjunctival then it either is an alpha or does not bloom or both. sent4: there is something such that that it is not a reality and is a kind of a Kabbalah is incorrect. sent5: the secretase is a kind of an alpha. sent6: something is not an alpha if it is not conjunctival.
void -> assump1: Let's assume that that the shortbread is not a reality and it is not nonproprietary is false.; assump1 -> int1: there exists something such that the fact that it is both not a reality and not nonproprietary is incorrect.; int1 & sent1 -> int2: the secretase is not conjunctival.; sent6 -> int3: if the secretase is not conjunctival then it is not an alpha.; int2 & int3 -> int4: the secretase is not a kind of an alpha.; int4 & sent5 -> int5: this is contradiction.; [assump1] & int5 -> int6: the shortbread is not a reality and not nonproprietary.; int6 -> int7: that the shortbread is not nonproprietary is correct.; int7 & sent2 -> int8: the cottonwood is a kind of a Kabbalah and blooms.; int8 -> hypothesis;
the cottonwood is not a bloom.
sent3 -> int9: if the secretase is conjunctival then it is an alpha or it is not a bloom or both.;
$hypothesis$ = the cottonwood does not bloom. ; $context$ = sent1: the fact that the secretase is not conjunctival hold if there exists something such that the fact that it is not a reality and it is not nonproprietary is not correct. sent2: if the shortbread is not nonproprietary then the cottonwood is a Kabbalah and is a bloom. sent3: if something is conjunctival then it either is an alpha or does not bloom or both. sent4: there is something such that that it is not a reality and is a kind of a Kabbalah is incorrect. sent5: the secretase is a kind of an alpha. sent6: something is not an alpha if it is not conjunctival. ; $proof$ = 
void -> assump1: Let's assume that that the shortbread is not a reality and it is not nonproprietary is false.; assump1 -> int1: there exists something such that the fact that it is both not a reality and not nonproprietary is incorrect.; int1 & sent1 -> int2: the secretase is not conjunctival.; sent6 -> int3: if the secretase is not conjunctival then it is not an alpha.; int2 & int3 -> int4: the secretase is not a kind of an alpha.; int4 & sent5 -> int5: this is contradiction.; [assump1] & int5 -> int6: the shortbread is not a reality and not nonproprietary.; int6 -> int7: that the shortbread is not nonproprietary is correct.; int7 & sent2 -> int8: the cottonwood is a kind of a Kabbalah and blooms.; int8 -> hypothesis; __DISPROVED__