that the caviar is sarcolemmic is right.
sent1: the pinprick is eolithic but it is not a shirttail if it contemns Aras. sent2: the Ephesians is Bayesian. sent3: if the pinprick does not contemn Aras it is not a Yuman. sent4: the cobber is not a shirttail. sent5: that the cobber contemns communalism and it is a totalitarian is not right if the pinprick is not a Yuman. sent6: the Ephesians is not Bayesian if the pinprick is eolithic and is not a shirttail. sent7: there exists something such that that it is a shirttail and it is eolithic is incorrect. sent8: if there exists something such that that it contemns communalism and it is a kind of a totalitarian is false then the caviar is not sarcolemmic. sent9: the stingray does contemn Aras. sent10: the cobber is a totalitarian and does not contemn Aras. sent11: the pinprick is not a shirttail. sent12: if the pinprick is Bayesian it is sarcolemmic and it is not eolithic. sent13: the pinprick is non-sarcolemmic if the caviar is a Yuman and it is a kind of a shirttail. sent14: there is something such that it contemns communalism and it is totalitarian. sent15: the woolsorter is not eolithic. sent16: the cobber is not a Yuman if there exists something such that it does not contemn communalism. sent17: if the cobber is not Yuman the fact that the pinprick contemns communalism and it is a kind of a shirttail is incorrect. sent18: the pinprick is Yuman thing that contemns communalism if the Ephesians is not a totalitarian.
void -> assump1: Let's assume that the pinprick contemns Aras.; sent1 & assump1 -> int1: the pinprick is both eolithic and not a shirttail.; int1 & sent6 -> int2: the Ephesians is not Bayesian.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the pinprick does not contemn Aras.; int4 & sent3 -> int5: the pinprick is not a Yuman.; int5 & sent5 -> int6: the fact that the cobber contemns communalism and it is a totalitarian does not hold.; int6 -> int7: there exists something such that the fact that it contemns communalism and it is a totalitarian does not hold.; int7 & sent8 -> hypothesis;
the caviar is sarcolemmic.
$hypothesis$ = that the caviar is sarcolemmic is right. ; $context$ = sent1: the pinprick is eolithic but it is not a shirttail if it contemns Aras. sent2: the Ephesians is Bayesian. sent3: if the pinprick does not contemn Aras it is not a Yuman. sent4: the cobber is not a shirttail. sent5: that the cobber contemns communalism and it is a totalitarian is not right if the pinprick is not a Yuman. sent6: the Ephesians is not Bayesian if the pinprick is eolithic and is not a shirttail. sent7: there exists something such that that it is a shirttail and it is eolithic is incorrect. sent8: if there exists something such that that it contemns communalism and it is a kind of a totalitarian is false then the caviar is not sarcolemmic. sent9: the stingray does contemn Aras. sent10: the cobber is a totalitarian and does not contemn Aras. sent11: the pinprick is not a shirttail. sent12: if the pinprick is Bayesian it is sarcolemmic and it is not eolithic. sent13: the pinprick is non-sarcolemmic if the caviar is a Yuman and it is a kind of a shirttail. sent14: there is something such that it contemns communalism and it is totalitarian. sent15: the woolsorter is not eolithic. sent16: the cobber is not a Yuman if there exists something such that it does not contemn communalism. sent17: if the cobber is not Yuman the fact that the pinprick contemns communalism and it is a kind of a shirttail is incorrect. sent18: the pinprick is Yuman thing that contemns communalism if the Ephesians is not a totalitarian. ; $proof$ = 
void -> assump1: Let's assume that the pinprick contemns Aras.; sent1 & assump1 -> int1: the pinprick is both eolithic and not a shirttail.; int1 & sent6 -> int2: the Ephesians is not Bayesian.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the pinprick does not contemn Aras.; int4 & sent3 -> int5: the pinprick is not a Yuman.; int5 & sent5 -> int6: the fact that the cobber contemns communalism and it is a totalitarian does not hold.; int6 -> int7: there exists something such that the fact that it contemns communalism and it is a totalitarian does not hold.; int7 & sent8 -> hypothesis; __DISPROVED__