the fact that the macintosh is a kind of non-anacoluthic thing that does not smock emcee is not true.
sent1: the Massachuset does smock bracero if the esthetician is a kind of a psalmist. sent2: the esthetician is a Dicranum if that it is not a rotl and dilapidates esthetician is false. sent3: if there exists something such that it is a kind of a syncopator and/or it is incompressible the earflap is not nonprehensile. sent4: if the Massachuset does smock bracero then the macintosh is not anacoluthic and does not smock emcee. sent5: the fact that the esthetician is a psalmist hold if it is a Dicranum. sent6: if that the macintosh is a syncopator and it is nonprehensile is wrong it is not a kind of a syncopator. sent7: if something is not a kind of a syncopator the fact that it is not a rotl and it does dilapidate esthetician is false. sent8: the earflap is nonprehensile.
void -> assump1: Let's assume that the esthetician is a syncopator.; assump1 -> int1: the esthetician is a syncopator and/or it is not compressible.; int1 -> int2: there exists something such that it is a syncopator or it is incompressible or both.; int2 & sent3 -> int3: the earflap is not nonprehensile.; int3 & sent8 -> int4: this is contradiction.; [assump1] & int4 -> int5: the esthetician is not a syncopator.; sent7 -> int6: the fact that the fact that the esthetician is not a rotl but it dilapidates esthetician is not incorrect is wrong if it is not a kind of a syncopator.; int5 & int6 -> int7: the fact that the esthetician is not a rotl and does dilapidate esthetician is not true.; int7 & sent2 -> int8: the esthetician is a Dicranum.; int8 & sent5 -> int9: the esthetician is a kind of a psalmist.; int9 & sent1 -> int10: the Massachuset smocks bracero.; int10 & sent4 -> hypothesis;
that the macintosh is not anacoluthic and does not smock emcee is not right.
$hypothesis$ = the fact that the macintosh is a kind of non-anacoluthic thing that does not smock emcee is not true. ; $context$ = sent1: the Massachuset does smock bracero if the esthetician is a kind of a psalmist. sent2: the esthetician is a Dicranum if that it is not a rotl and dilapidates esthetician is false. sent3: if there exists something such that it is a kind of a syncopator and/or it is incompressible the earflap is not nonprehensile. sent4: if the Massachuset does smock bracero then the macintosh is not anacoluthic and does not smock emcee. sent5: the fact that the esthetician is a psalmist hold if it is a Dicranum. sent6: if that the macintosh is a syncopator and it is nonprehensile is wrong it is not a kind of a syncopator. sent7: if something is not a kind of a syncopator the fact that it is not a rotl and it does dilapidate esthetician is false. sent8: the earflap is nonprehensile. ; $proof$ = 
void -> assump1: Let's assume that the esthetician is a syncopator.; assump1 -> int1: the esthetician is a syncopator and/or it is not compressible.; int1 -> int2: there exists something such that it is a syncopator or it is incompressible or both.; int2 & sent3 -> int3: the earflap is not nonprehensile.; int3 & sent8 -> int4: this is contradiction.; [assump1] & int4 -> int5: the esthetician is not a syncopator.; sent7 -> int6: the fact that the fact that the esthetician is not a rotl but it dilapidates esthetician is not incorrect is wrong if it is not a kind of a syncopator.; int5 & int6 -> int7: the fact that the esthetician is not a rotl and does dilapidate esthetician is not true.; int7 & sent2 -> int8: the esthetician is a Dicranum.; int8 & sent5 -> int9: the esthetician is a kind of a psalmist.; int9 & sent1 -> int10: the Massachuset smocks bracero.; int10 & sent4 -> hypothesis; __DISPROVED__