the corrective is a stunt.
sent1: that something does dissimilate is not wrong if that it is not cryonics and does profess does not hold. sent2: the fact that the corrective does stunt is right if something does moor ferricyanide but it does not moor classic. sent3: the presbyter does prop will if it does not wine and bowls execration. sent4: something that dissimilates does moor ferricyanide and does not moor classic. sent5: if something props will then it is coccal. sent6: the presbyter is not a wine but it does bowl execration.
void -> assump1: Let's assume that the presbyter is not cryonics but it professes.; sent5 -> int1: if the presbyter does prop will it is coccal.; sent3 & sent6 -> int2: the presbyter does prop will.; int1 & int2 -> int3: that the presbyter is coccal is not false.; sent1 -> int4: if the fact that the presbyter is not cryonics and does profess is incorrect then it dissimilates.; sent4 -> int5: the presbyter does moor ferricyanide and does not moor classic if it dissimilates.;
$hypothesis$ = the corrective is a stunt. ; $context$ = sent1: that something does dissimilate is not wrong if that it is not cryonics and does profess does not hold. sent2: the fact that the corrective does stunt is right if something does moor ferricyanide but it does not moor classic. sent3: the presbyter does prop will if it does not wine and bowls execration. sent4: something that dissimilates does moor ferricyanide and does not moor classic. sent5: if something props will then it is coccal. sent6: the presbyter is not a wine but it does bowl execration. ; $proof$ = 
void -> assump1: Let's assume that the presbyter is not cryonics but it professes.; sent5 -> int1: if the presbyter does prop will it is coccal.; sent3 & sent6 -> int2: the presbyter does prop will.; int1 & int2 -> int3: that the presbyter is coccal is not false.; sent1 -> int4: if the fact that the presbyter is not cryonics and does profess is incorrect then it dissimilates.; sent4 -> int5: the presbyter does moor ferricyanide and does not moor classic if it dissimilates.; __UNKNOWN__