the horseleech is not ethereal.
sent1: the protohippus does not encircle awkwardness and is curious if it is not a paraprofessional. sent2: the protohippus is not a paraprofessional. sent3: if the protohippus does not encircle awkwardness and is curious then the serranid does encircle awkwardness. sent4: if the serranid does not subtract memoir and does bludgeon the horseleech is not ethereal. sent5: something is not a jellyleaf and/or is not a vine. sent6: something bludgeons if it does encircle awkwardness. sent7: that the protohippus does not encircle awkwardness is not incorrect. sent8: if something is not a jellyleaf and/or is not a vine then the knee-high does federalize hereditarianism. sent9: the knee-high does not federalize hereditarianism if either the serranid does federalize serranid or it does subtract memoir or both.
void -> assump1: Let's assume that the serranid does subtract memoir.; assump1 -> int1: the serranid either does federalize serranid or subtracts memoir or both.; int1 & sent9 -> int2: the knee-high does not federalize hereditarianism.; sent5 & sent8 -> int3: the knee-high does federalize hereditarianism.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the serranid does not subtract memoir.; sent6 -> int6: the serranid is a bludgeon if the fact that it encircles awkwardness is right.; sent1 & sent2 -> int7: the protohippus does not encircle awkwardness but it is curious.; sent3 & int7 -> int8: the serranid encircles awkwardness.; int6 & int8 -> int9: the serranid does bludgeon.; int5 & int9 -> int10: the serranid does not subtract memoir and is a bludgeon.; int10 & sent4 -> hypothesis;
$hypothesis$ = the horseleech is not ethereal. ; $context$ = sent1: the protohippus does not encircle awkwardness and is curious if it is not a paraprofessional. sent2: the protohippus is not a paraprofessional. sent3: if the protohippus does not encircle awkwardness and is curious then the serranid does encircle awkwardness. sent4: if the serranid does not subtract memoir and does bludgeon the horseleech is not ethereal. sent5: something is not a jellyleaf and/or is not a vine. sent6: something bludgeons if it does encircle awkwardness. sent7: that the protohippus does not encircle awkwardness is not incorrect. sent8: if something is not a jellyleaf and/or is not a vine then the knee-high does federalize hereditarianism. sent9: the knee-high does not federalize hereditarianism if either the serranid does federalize serranid or it does subtract memoir or both. ; $proof$ = 
void -> assump1: Let's assume that the serranid does subtract memoir.; assump1 -> int1: the serranid either does federalize serranid or subtracts memoir or both.; int1 & sent9 -> int2: the knee-high does not federalize hereditarianism.; sent5 & sent8 -> int3: the knee-high does federalize hereditarianism.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the serranid does not subtract memoir.; sent6 -> int6: the serranid is a bludgeon if the fact that it encircles awkwardness is right.; sent1 & sent2 -> int7: the protohippus does not encircle awkwardness but it is curious.; sent3 & int7 -> int8: the serranid encircles awkwardness.; int6 & int8 -> int9: the serranid does bludgeon.; int5 & int9 -> int10: the serranid does not subtract memoir and is a bludgeon.; int10 & sent4 -> hypothesis; __PROVED__