the encainide parses humanization.
sent1: the chandelier laces fire if the virtuoso is sacramental. sent2: everything is not a Coptic and it is hermeneutics. sent3: something parses humanization if that it does not parse contradistinction and it does not parses humanization is not right. sent4: the molester is not a Coptic. sent5: the virtuoso does parse contradistinction. sent6: if the chandelier is not dispensable then the fact that the virtuoso does not lace fire and is not sacramental is not correct. sent7: that something does not parse contradistinction and does not parse humanization is not correct if it is sacramental. sent8: the virtuoso is sacramental if it does parse contradistinction. sent9: the chandelier is dispensable if it is not Coptic and it is hermeneutics. sent10: The contradistinction does parse virtuoso. sent11: the chandelier is hermeneutics. sent12: if something does lace fire and is dispensable then the encainide does not parse humanization. sent13: if the fibril is a Octopodidae then that the cacodyl is hermeneutics and/or it is not Coptic is not true.
sent8 & sent5 -> int1: the virtuoso is sacramental.; int1 & sent1 -> int2: the chandelier laces fire.; sent2 -> int3: the chandelier is a kind of non-Coptic thing that is hermeneutics.; sent9 & int3 -> int4: the chandelier is dispensable.; int2 & int4 -> int5: the chandelier does lace fire and is dispensable.; int5 -> int6: something does lace fire and is dispensable.; int6 & sent12 -> hypothesis;
the encainide does parse humanization.
sent3 -> int7: the encainide does parse humanization if that it does not parse contradistinction and does not parse humanization is not true.; sent7 -> int8: if the fact that the encainide is sacramental is not incorrect then that it does not parse contradistinction and it does not parse humanization does not hold.;
$hypothesis$ = the encainide parses humanization. ; $context$ = sent1: the chandelier laces fire if the virtuoso is sacramental. sent2: everything is not a Coptic and it is hermeneutics. sent3: something parses humanization if that it does not parse contradistinction and it does not parses humanization is not right. sent4: the molester is not a Coptic. sent5: the virtuoso does parse contradistinction. sent6: if the chandelier is not dispensable then the fact that the virtuoso does not lace fire and is not sacramental is not correct. sent7: that something does not parse contradistinction and does not parse humanization is not correct if it is sacramental. sent8: the virtuoso is sacramental if it does parse contradistinction. sent9: the chandelier is dispensable if it is not Coptic and it is hermeneutics. sent10: The contradistinction does parse virtuoso. sent11: the chandelier is hermeneutics. sent12: if something does lace fire and is dispensable then the encainide does not parse humanization. sent13: if the fibril is a Octopodidae then that the cacodyl is hermeneutics and/or it is not Coptic is not true. ; $proof$ = 
sent8 & sent5 -> int1: the virtuoso is sacramental.; int1 & sent1 -> int2: the chandelier laces fire.; sent2 -> int3: the chandelier is a kind of non-Coptic thing that is hermeneutics.; sent9 & int3 -> int4: the chandelier is dispensable.; int2 & int4 -> int5: the chandelier does lace fire and is dispensable.; int5 -> int6: something does lace fire and is dispensable.; int6 & sent12 -> hypothesis; __DISPROVED__