if the aphaereticness occurs then the sclaff does not occur.
sent1: the copying happens if the conic occurs. sent2: the aphaereticness is prevented by that the copying and the piss-up occurs. sent3: the intemperance happens. sent4: the sclaffing occurs if the aphaereticness occurs. sent5: the piss-up happens. sent6: if the sclaffing happens then the conic occurs. sent7: that the aphaereticness happens is true if the copying occurs and the piss-up occurs. sent8: the spring-cleaning puncture occurs and the babel occurs. sent9: the absenteeism occurs. sent10: the non-prematureness is brought about by that the lookout happens. sent11: the acroscopicness happens. sent12: the fact that both the eccentric and the removing melanocyte happens is correct.
void -> assump1: Let's assume that the sclaffing occurs.; sent6 & assump1 -> int1: the conicness happens.; int1 & sent1 -> int2: the copying happens.; int2 & sent5 -> int3: the copying and the piss-up happens.; int3 & sent2 -> int4: the aphaereticness does not occur.; void -> assump2: Let's assume that the aphaereticness happens.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the sclaff does not occur.; [assump2] & int6 -> hypothesis;
$hypothesis$ = if the aphaereticness occurs then the sclaff does not occur. ; $context$ = sent1: the copying happens if the conic occurs. sent2: the aphaereticness is prevented by that the copying and the piss-up occurs. sent3: the intemperance happens. sent4: the sclaffing occurs if the aphaereticness occurs. sent5: the piss-up happens. sent6: if the sclaffing happens then the conic occurs. sent7: that the aphaereticness happens is true if the copying occurs and the piss-up occurs. sent8: the spring-cleaning puncture occurs and the babel occurs. sent9: the absenteeism occurs. sent10: the non-prematureness is brought about by that the lookout happens. sent11: the acroscopicness happens. sent12: the fact that both the eccentric and the removing melanocyte happens is correct. ; $proof$ = 
void -> assump1: Let's assume that the sclaffing occurs.; sent6 & assump1 -> int1: the conicness happens.; int1 & sent1 -> int2: the copying happens.; int2 & sent5 -> int3: the copying and the piss-up happens.; int3 & sent2 -> int4: the aphaereticness does not occur.; void -> assump2: Let's assume that the aphaereticness happens.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the sclaff does not occur.; [assump2] & int6 -> hypothesis; __PROVED__