the commonwealth dichotomizes.
sent1: the fact that the rubbish is spherical but it does not dichotomize is not correct if the sideroblast is a down. sent2: the snuffer is both not a chunnel and not diligent. sent3: the fact that the sideroblast is not non-down hold if there is something such that that it is both not a non-down and not non-particularistic is incorrect. sent4: the rubbish is apogamic but it does not down. sent5: if something is not a down then the fact that it is both not spherical and not myrmecophytic is true. sent6: the Frisbee is myalgic. sent7: the infection is not peptic if the Frisbee does destain SGML and is not a Nigerian. sent8: that the rubbish is particularistic and is not apogamic is not correct. sent9: the infection is not apogamic if it is not peptic. sent10: the rubbish is not nonspherical if there exists something such that the fact that it destains founder and is alienable is wrong. sent11: the fact that something is not a kind of a down but it is particularistic is not right if it is not apogamic. sent12: if the snuffer is apogamic then it is spherical. sent13: if the commonwealth does not dichotomize then that the snuffer destains founder and it is alienable is false. sent14: the Frisbee destains SGML but it is not a Nigerian if it is myalgic.
void -> assump1: Let's assume that the commonwealth does not dichotomize.; sent13 & assump1 -> int1: that the snuffer destains founder and it is alienable is not correct.; int1 -> int2: there exists something such that the fact that it does destain founder and it is alienable is not correct.; int2 & sent10 -> int3: the rubbish is spherical.; sent5 -> int4: if the rubbish is not a kind of a down then it is not spherical and not myrmecophytic.; sent4 -> int5: the rubbish does not down.; int4 & int5 -> int6: the rubbish is not spherical and it is not myrmecophytic.; int6 -> int7: the rubbish is not spherical.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the commonwealth does not dichotomize.
sent8 -> int9: there is something such that that it is both particularistic and not apogamic is wrong.;
$hypothesis$ = the commonwealth dichotomizes. ; $context$ = sent1: the fact that the rubbish is spherical but it does not dichotomize is not correct if the sideroblast is a down. sent2: the snuffer is both not a chunnel and not diligent. sent3: the fact that the sideroblast is not non-down hold if there is something such that that it is both not a non-down and not non-particularistic is incorrect. sent4: the rubbish is apogamic but it does not down. sent5: if something is not a down then the fact that it is both not spherical and not myrmecophytic is true. sent6: the Frisbee is myalgic. sent7: the infection is not peptic if the Frisbee does destain SGML and is not a Nigerian. sent8: that the rubbish is particularistic and is not apogamic is not correct. sent9: the infection is not apogamic if it is not peptic. sent10: the rubbish is not nonspherical if there exists something such that the fact that it destains founder and is alienable is wrong. sent11: the fact that something is not a kind of a down but it is particularistic is not right if it is not apogamic. sent12: if the snuffer is apogamic then it is spherical. sent13: if the commonwealth does not dichotomize then that the snuffer destains founder and it is alienable is false. sent14: the Frisbee destains SGML but it is not a Nigerian if it is myalgic. ; $proof$ = 
void -> assump1: Let's assume that the commonwealth does not dichotomize.; sent13 & assump1 -> int1: that the snuffer destains founder and it is alienable is not correct.; int1 -> int2: there exists something such that the fact that it does destain founder and it is alienable is not correct.; int2 & sent10 -> int3: the rubbish is spherical.; sent5 -> int4: if the rubbish is not a kind of a down then it is not spherical and not myrmecophytic.; sent4 -> int5: the rubbish does not down.; int4 & int5 -> int6: the rubbish is not spherical and it is not myrmecophytic.; int6 -> int7: the rubbish is not spherical.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__