the transfiguring occurs.
sent1: the epicureanness does not occur. sent2: the scramming rabbitwood happens if the fact that the non-optionalness and the catabolicness occurs is false. sent3: that the fact that not the bounding but the apostleship occurs is true does not hold if the fact that the anodicness does not occur is right. sent4: if that not the outsailing sculpin but the fascinating happens is false the cumulus happens. sent5: that not the optionalness but the catabolicness occurs does not hold if the univalveness does not occur. sent6: the baseball occurs. sent7: the outsailing paddlefish happens. sent8: that the splat occurs is not incorrect. sent9: if the fact that that the contemptibleness does not occur but the gastrogavage occurs is correct does not hold the regretfulness occurs. sent10: the fact that both the univalveness and the non-epicureanness occurs is false. sent11: the satiation does not occur. sent12: that the transfiguring does not occur is prevented by that the gladness does not occur but the scramming rabbitwood happens. sent13: the gladness does not occur. sent14: the autotelicness happens. sent15: the nonadsorbentness happens.
void -> assump1: Let's assume that the univalveness happens.; assump1 & sent1 -> int1: the univalveness and the non-epicureanness happens.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the univalveness does not occur.; int3 & sent5 -> int4: the fact that both the non-optionalness and the catabolicness happens does not hold.; int4 & sent2 -> int5: the scramming rabbitwood occurs.; int5 & sent13 -> int6: the non-gladness and the scramming rabbitwood happens.; int6 & sent12 -> hypothesis;
$hypothesis$ = the transfiguring occurs. ; $context$ = sent1: the epicureanness does not occur. sent2: the scramming rabbitwood happens if the fact that the non-optionalness and the catabolicness occurs is false. sent3: that the fact that not the bounding but the apostleship occurs is true does not hold if the fact that the anodicness does not occur is right. sent4: if that not the outsailing sculpin but the fascinating happens is false the cumulus happens. sent5: that not the optionalness but the catabolicness occurs does not hold if the univalveness does not occur. sent6: the baseball occurs. sent7: the outsailing paddlefish happens. sent8: that the splat occurs is not incorrect. sent9: if the fact that that the contemptibleness does not occur but the gastrogavage occurs is correct does not hold the regretfulness occurs. sent10: the fact that both the univalveness and the non-epicureanness occurs is false. sent11: the satiation does not occur. sent12: that the transfiguring does not occur is prevented by that the gladness does not occur but the scramming rabbitwood happens. sent13: the gladness does not occur. sent14: the autotelicness happens. sent15: the nonadsorbentness happens. ; $proof$ = 
void -> assump1: Let's assume that the univalveness happens.; assump1 & sent1 -> int1: the univalveness and the non-epicureanness happens.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the univalveness does not occur.; int3 & sent5 -> int4: the fact that both the non-optionalness and the catabolicness happens does not hold.; int4 & sent2 -> int5: the scramming rabbitwood occurs.; int5 & sent13 -> int6: the non-gladness and the scramming rabbitwood happens.; int6 & sent12 -> hypothesis; __PROVED__