there is something such that it does not overturn Stradivari.
sent1: the internist is not pedagogical if the receptacle is not a cyst. sent2: if the fact that the internist is biogenetic is not incorrect then that it is pedagogical hold. sent3: the internist is biogenetic. sent4: the receptacle is a cyst. sent5: if the fact that that the receptacle is a cyst and does not overturn Stradivari is correct does not hold the internist is not pedagogical.
void -> assump1: Let's assume that the fact that the receptacle is a cyst but it does not overturn Stradivari does not hold.; sent5 & assump1 -> int1: the internist is not pedagogical.; sent2 & sent3 -> int2: the internist is pedagogical.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the receptacle is a cyst that does not overturn Stradivari.; int4 -> int5: the receptacle does not overturn Stradivari.; int5 -> hypothesis;
$hypothesis$ = there is something such that it does not overturn Stradivari. ; $context$ = sent1: the internist is not pedagogical if the receptacle is not a cyst. sent2: if the fact that the internist is biogenetic is not incorrect then that it is pedagogical hold. sent3: the internist is biogenetic. sent4: the receptacle is a cyst. sent5: if the fact that that the receptacle is a cyst and does not overturn Stradivari is correct does not hold the internist is not pedagogical. ; $proof$ = 
void -> assump1: Let's assume that the fact that the receptacle is a cyst but it does not overturn Stradivari does not hold.; sent5 & assump1 -> int1: the internist is not pedagogical.; sent2 & sent3 -> int2: the internist is pedagogical.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the receptacle is a cyst that does not overturn Stradivari.; int4 -> int5: the receptacle does not overturn Stradivari.; int5 -> hypothesis; __PROVED__