that the pome is not a kind of a uncial and it is not a ghostwriter is false.
sent1: if the doorbell is a half-and-half then the cylinder is evolutionary. sent2: if something is not a half-and-half then it is non-uncial and it is not a ghostwriter. sent3: the fact that the cylinder does not finger hairgrip and/or it does not finger fistula is false. sent4: something that does not laicize astrakhan and does not effuse is not evolutionary. sent5: that the cylinder fingers fistula and fingers hairgrip is wrong if it is not intracellular. sent6: the cylinder is not evolutionary if that it does not finger hairgrip or does not finger fistula or both does not hold. sent7: the cylinder fingers fistula. sent8: if something does not finger hairgrip then it does not laicize astrakhan and does not effuse. sent9: the doorbell does not finger hairgrip if there exists something such that that it fingers fistula and it does finger hairgrip is wrong. sent10: something does laicize astrakhan if the fact that it is not a kind of a half-and-half hold. sent11: if the doorbell laicizes astrakhan then the cornet does effuse.
void -> assump1: Let's assume that that the doorbell is a half-and-half hold.; sent1 & assump1 -> int1: the cylinder is evolutionary.; sent6 & sent3 -> int2: the cylinder is not evolutionary.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the doorbell is not a half-and-half is true.; sent10 -> int5: if that the doorbell is not a half-and-half hold it laicizes astrakhan.; int4 & int5 -> int6: the doorbell laicizes astrakhan.; int6 & sent11 -> int7: the cornet effuses.;
the pome is both not uncial and not a ghostwriter.
sent2 -> int8: that the pome is not a uncial and it is not the ghostwriter if the pome is not a half-and-half is not wrong.; sent4 -> int9: the doorbell is evolutionary if it does not laicize astrakhan and it does not effuse.; sent8 -> int10: if the doorbell does not finger hairgrip it does not laicize astrakhan and it does not effuse.;
$hypothesis$ = that the pome is not a kind of a uncial and it is not a ghostwriter is false. ; $context$ = sent1: if the doorbell is a half-and-half then the cylinder is evolutionary. sent2: if something is not a half-and-half then it is non-uncial and it is not a ghostwriter. sent3: the fact that the cylinder does not finger hairgrip and/or it does not finger fistula is false. sent4: something that does not laicize astrakhan and does not effuse is not evolutionary. sent5: that the cylinder fingers fistula and fingers hairgrip is wrong if it is not intracellular. sent6: the cylinder is not evolutionary if that it does not finger hairgrip or does not finger fistula or both does not hold. sent7: the cylinder fingers fistula. sent8: if something does not finger hairgrip then it does not laicize astrakhan and does not effuse. sent9: the doorbell does not finger hairgrip if there exists something such that that it fingers fistula and it does finger hairgrip is wrong. sent10: something does laicize astrakhan if the fact that it is not a kind of a half-and-half hold. sent11: if the doorbell laicizes astrakhan then the cornet does effuse. ; $proof$ = 
void -> assump1: Let's assume that that the doorbell is a half-and-half hold.; sent1 & assump1 -> int1: the cylinder is evolutionary.; sent6 & sent3 -> int2: the cylinder is not evolutionary.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the doorbell is not a half-and-half is true.; sent10 -> int5: if that the doorbell is not a half-and-half hold it laicizes astrakhan.; int4 & int5 -> int6: the doorbell laicizes astrakhan.; int6 & sent11 -> int7: the cornet effuses.; __UNKNOWN__