if the astomatalness occurs then the adhering grits occurs.
sent1: the adhering grits occurs if the fact that the syllogizing occurs is right. sent2: the fact that the shooing Donatello does not occur and the allopathy happens is not right. sent3: if the fact that both the non-uppercaseness and the prudentness occurs is false the reding agal occurs. sent4: if the fact that the fretting cairn does not occur and the oceanicness happens is incorrect the adhering coracle happens. sent5: the syllogizing occurs if the fact that the astomatalness occurs and the unction occurs is incorrect. sent6: that not the Hippocraticness but the purchase happens is wrong. sent7: that the fact that not the fretting cairn but the affectation occurs is right is wrong. sent8: that the astomatalness does not occur and the unction happens prevents that the syllogizing does not occur. sent9: both the shooing Donatello and the astomatalness occurs if the unction does not occur. sent10: the insincereness does not occur. sent11: that the syllogizing does not occur is prevented by that the unction does not occur. sent12: the unction happens. sent13: the adhering grits does not occur if that the prenatalness occurs and the adhering grits occurs is not true. sent14: the astomatalness and the unction happens. sent15: the fretting knickknack happens if that the fact that the non-hormonalness and the impromptu happens is incorrect is right. sent16: the anthropogeneticness does not occur.
void -> assump1: Let's assume that the astomatalness happens.; void -> assump2: Let's assume that both the non-astomatalness and the unction occurs.; assump2 -> int1: the astomatalness does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the non-astomatalness and the unction happens does not hold.;
the shooing Donatello occurs.
$hypothesis$ = if the astomatalness occurs then the adhering grits occurs. ; $context$ = sent1: the adhering grits occurs if the fact that the syllogizing occurs is right. sent2: the fact that the shooing Donatello does not occur and the allopathy happens is not right. sent3: if the fact that both the non-uppercaseness and the prudentness occurs is false the reding agal occurs. sent4: if the fact that the fretting cairn does not occur and the oceanicness happens is incorrect the adhering coracle happens. sent5: the syllogizing occurs if the fact that the astomatalness occurs and the unction occurs is incorrect. sent6: that not the Hippocraticness but the purchase happens is wrong. sent7: that the fact that not the fretting cairn but the affectation occurs is right is wrong. sent8: that the astomatalness does not occur and the unction happens prevents that the syllogizing does not occur. sent9: both the shooing Donatello and the astomatalness occurs if the unction does not occur. sent10: the insincereness does not occur. sent11: that the syllogizing does not occur is prevented by that the unction does not occur. sent12: the unction happens. sent13: the adhering grits does not occur if that the prenatalness occurs and the adhering grits occurs is not true. sent14: the astomatalness and the unction happens. sent15: the fretting knickknack happens if that the fact that the non-hormonalness and the impromptu happens is incorrect is right. sent16: the anthropogeneticness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the astomatalness happens.; void -> assump2: Let's assume that both the non-astomatalness and the unction occurs.; assump2 -> int1: the astomatalness does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the non-astomatalness and the unction happens does not hold.; __UNKNOWN__