the fact that the malfeasant is sternutatory and it is a realgar is not true.
sent1: the opposition is not a Cinclidae. sent2: the opposition does not tweeze coolie if there is something such that it tweezes leitmotiv and it is not majuscule. sent3: that the malfeasant is sternutatory and is a realgar is not correct if the choo-choo is not sternutatory. sent4: The coolie tweezes opposition. sent5: the puku does tweeze leitmotiv and/or is a kind of a Cinclidae if that something is a Cinclidae is true. sent6: the choo-choo does not crumble Cordylidae. sent7: the abettor is a kind of a Cinclidae. sent8: the malfeasant does not tweeze leitmotiv if the abettor is non-sternutatory thing that is not a Cinclidae. sent9: the abettor is not a realgar. sent10: the opposition tweezes coolie. sent11: if the puku does not crumble Cordylidae and does not tweeze Leontodon the exotherm is not a kind of a Cinclidae. sent12: the puku does not crumble Cordylidae and is not sternutatory if that the abettor is majuscule hold. sent13: the abettor is sternutatory. sent14: the abettor tweezes leitmotiv and is not majuscule if the exotherm is not a Cinclidae. sent15: if the choo-choo is sternutatory the puku does not crumble Cordylidae and it does not tweeze Leontodon. sent16: if the malfeasant is a realgar but it is not majuscule then the puku does not crumble Cordylidae.
void -> assump1: Let's assume that the choo-choo is sternutatory.; sent15 & assump1 -> int1: the puku does not crumble Cordylidae and it does not tweeze Leontodon.; int1 & sent11 -> int2: that the exotherm is not a Cinclidae is right.; int2 & sent14 -> int3: the abettor tweezes leitmotiv and is not majuscule.; int3 -> int4: there exists something such that it tweezes leitmotiv and is not majuscule.; int4 & sent2 -> int5: the opposition does not tweeze coolie.; int5 & sent10 -> int6: this is contradiction.; [assump1] & int6 -> int7: the choo-choo is not sternutatory.; int7 & sent3 -> hypothesis;
the malfeasant is sternutatory thing that is a realgar.
sent7 -> int8: there exists something such that that it is a Cinclidae is not false.; int8 & sent5 -> int9: either the puku tweezes leitmotiv or it is a Cinclidae or both.;
$hypothesis$ = the fact that the malfeasant is sternutatory and it is a realgar is not true. ; $context$ = sent1: the opposition is not a Cinclidae. sent2: the opposition does not tweeze coolie if there is something such that it tweezes leitmotiv and it is not majuscule. sent3: that the malfeasant is sternutatory and is a realgar is not correct if the choo-choo is not sternutatory. sent4: The coolie tweezes opposition. sent5: the puku does tweeze leitmotiv and/or is a kind of a Cinclidae if that something is a Cinclidae is true. sent6: the choo-choo does not crumble Cordylidae. sent7: the abettor is a kind of a Cinclidae. sent8: the malfeasant does not tweeze leitmotiv if the abettor is non-sternutatory thing that is not a Cinclidae. sent9: the abettor is not a realgar. sent10: the opposition tweezes coolie. sent11: if the puku does not crumble Cordylidae and does not tweeze Leontodon the exotherm is not a kind of a Cinclidae. sent12: the puku does not crumble Cordylidae and is not sternutatory if that the abettor is majuscule hold. sent13: the abettor is sternutatory. sent14: the abettor tweezes leitmotiv and is not majuscule if the exotherm is not a Cinclidae. sent15: if the choo-choo is sternutatory the puku does not crumble Cordylidae and it does not tweeze Leontodon. sent16: if the malfeasant is a realgar but it is not majuscule then the puku does not crumble Cordylidae. ; $proof$ = 
void -> assump1: Let's assume that the choo-choo is sternutatory.; sent15 & assump1 -> int1: the puku does not crumble Cordylidae and it does not tweeze Leontodon.; int1 & sent11 -> int2: that the exotherm is not a Cinclidae is right.; int2 & sent14 -> int3: the abettor tweezes leitmotiv and is not majuscule.; int3 -> int4: there exists something such that it tweezes leitmotiv and is not majuscule.; int4 & sent2 -> int5: the opposition does not tweeze coolie.; int5 & sent10 -> int6: this is contradiction.; [assump1] & int6 -> int7: the choo-choo is not sternutatory.; int7 & sent3 -> hypothesis; __PROVED__