that both the recreating and the symbolatry happens hold.
sent1: the avoiding policeman does not occur. sent2: if the lecturing happens then that the avoiding policeman happens is correct. sent3: if the daycare happens then the fact that the sprinkle does not occur does not hold. sent4: if the lecture does not occur the fact that the daycare happens hold. sent5: the recreating occurs if the antisepticizing one-ninth happens. sent6: if the fact that the sprinkling occurs is not incorrect then the antisepticizing one-ninth occurs. sent7: the collapsing happens if the fact that the lecturing happens or the avoiding policeman does not occur or both is not right. sent8: the symbolatry occurs. sent9: the barking does not occur. sent10: if the zoning anticipation happens then the Crucifixion occurs.
void -> assump1: Let's assume that the lecturing occurs.; sent2 & assump1 -> int1: the avoiding policeman happens.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the lecture does not occur.; int3 & sent4 -> int4: the daycare occurs.; int4 & sent3 -> int5: the sprinkle happens.; int5 & sent6 -> int6: the antisepticizing one-ninth occurs.; int6 & sent5 -> int7: the recreating occurs.; int7 & sent8 -> hypothesis;
the fact that both the recreating and the symbolatry happens is not correct.
 -> hypothesis;
$hypothesis$ = that both the recreating and the symbolatry happens hold. ; $context$ = sent1: the avoiding policeman does not occur. sent2: if the lecturing happens then that the avoiding policeman happens is correct. sent3: if the daycare happens then the fact that the sprinkle does not occur does not hold. sent4: if the lecture does not occur the fact that the daycare happens hold. sent5: the recreating occurs if the antisepticizing one-ninth happens. sent6: if the fact that the sprinkling occurs is not incorrect then the antisepticizing one-ninth occurs. sent7: the collapsing happens if the fact that the lecturing happens or the avoiding policeman does not occur or both is not right. sent8: the symbolatry occurs. sent9: the barking does not occur. sent10: if the zoning anticipation happens then the Crucifixion occurs. ; $proof$ = 
void -> assump1: Let's assume that the lecturing occurs.; sent2 & assump1 -> int1: the avoiding policeman happens.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the lecture does not occur.; int3 & sent4 -> int4: the daycare occurs.; int4 & sent3 -> int5: the sprinkle happens.; int5 & sent6 -> int6: the antisepticizing one-ninth occurs.; int6 & sent5 -> int7: the recreating occurs.; int7 & sent8 -> hypothesis; __PROVED__