the dandling palate occurs.
sent1: that the credulousness happens and the easter does not occur brings about the nonfissileness. sent2: the flats happens. sent3: the credulousness occurs if the easter occurs. sent4: the fact that the fact that the credulousness but not the satisfaction occurs does not hold is not wrong. sent5: both the recrudescence and the dandling palate occurs if that the anureticness does not occur is not wrong. sent6: the fact that if that the credulousness but not the satisfaction occurs is wrong the credulousness does not occur is not wrong. sent7: if the anureticness does not occur then the recrudescence occurs. sent8: that the dandling palate happens is prevented by that the easter occurs but the credulousness does not occur. sent9: that the easter does not occur prevents the anureticness.
void -> assump1: Let's assume that the easter occurs.; sent3 & assump1 -> int1: the credulousness occurs.; sent6 & sent4 -> int2: the credulousness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the easter does not occur.; int4 & sent9 -> int5: the fact that the anureticness does not occur is correct.; int5 & sent5 -> int6: the recrudescence and the dandling palate happens.; int6 -> hypothesis;
the dandling palate does not occur.
$hypothesis$ = the dandling palate occurs. ; $context$ = sent1: that the credulousness happens and the easter does not occur brings about the nonfissileness. sent2: the flats happens. sent3: the credulousness occurs if the easter occurs. sent4: the fact that the fact that the credulousness but not the satisfaction occurs does not hold is not wrong. sent5: both the recrudescence and the dandling palate occurs if that the anureticness does not occur is not wrong. sent6: the fact that if that the credulousness but not the satisfaction occurs is wrong the credulousness does not occur is not wrong. sent7: if the anureticness does not occur then the recrudescence occurs. sent8: that the dandling palate happens is prevented by that the easter occurs but the credulousness does not occur. sent9: that the easter does not occur prevents the anureticness. ; $proof$ = 
void -> assump1: Let's assume that the easter occurs.; sent3 & assump1 -> int1: the credulousness occurs.; sent6 & sent4 -> int2: the credulousness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the easter does not occur.; int4 & sent9 -> int5: the fact that the anureticness does not occur is correct.; int5 & sent5 -> int6: the recrudescence and the dandling palate happens.; int6 -> hypothesis; __PROVED__