that if the town does integrate Donatist the hazel is not a denigration does not hold.
sent1: if something does integrate Donatist then it is a kind of a Comstock. sent2: that the hazel is a denigration is not wrong if it is not a Comstock. sent3: the hazel is a denigration. sent4: the fact that if there are stable things the fact that the hazel is not a Comstock is correct hold. sent5: if the hazel is not a kind of a Comstock then it is not a denigration. sent6: the hazel is a denigration if the town does integrate Donatist. sent7: the hazel is an acute. sent8: the town is not a denigration if the hazel is a kind of a Comstock. sent9: the hazel is not a kind of a Comstock if there is something such that it does integrate Donatist or it is a stable or both.
void -> assump1: Let's assume that the town does integrate Donatist.; assump1 -> int1: the town integrates Donatist and/or it stables.; int1 -> int2: something does integrate Donatist and/or it is a stable.; int2 & sent9 -> int3: the hazel is not a kind of a Comstock.; int3 & sent5 -> int4: the hazel is not a denigration.; [assump1] & int4 -> hypothesis;
the preschooler is a Comstock.
sent1 -> int5: if the preschooler does integrate Donatist it is a kind of a Comstock.;
$hypothesis$ = that if the town does integrate Donatist the hazel is not a denigration does not hold. ; $context$ = sent1: if something does integrate Donatist then it is a kind of a Comstock. sent2: that the hazel is a denigration is not wrong if it is not a Comstock. sent3: the hazel is a denigration. sent4: the fact that if there are stable things the fact that the hazel is not a Comstock is correct hold. sent5: if the hazel is not a kind of a Comstock then it is not a denigration. sent6: the hazel is a denigration if the town does integrate Donatist. sent7: the hazel is an acute. sent8: the town is not a denigration if the hazel is a kind of a Comstock. sent9: the hazel is not a kind of a Comstock if there is something such that it does integrate Donatist or it is a stable or both. ; $proof$ = 
void -> assump1: Let's assume that the town does integrate Donatist.; assump1 -> int1: the town integrates Donatist and/or it stables.; int1 -> int2: something does integrate Donatist and/or it is a stable.; int2 & sent9 -> int3: the hazel is not a kind of a Comstock.; int3 & sent5 -> int4: the hazel is not a denigration.; [assump1] & int4 -> hypothesis; __DISPROVED__