the outerness does not occur if that the tilling happens is correct.
sent1: the rounders brings about that the tilling does not occur. sent2: that the rounders happens or the anastigmaticness or both prevents that the tilling does not occur. sent3: that the outerness does not occur is caused by the non-lithographicness. sent4: if the dogtrot does not occur the fact that the native and the contamination happens does not hold. sent5: if the anastigmaticness does not occur that the fact that the lithographicness and the pressing occurs is wrong hold. sent6: if the disorderliness happens or the pubertalness occurs or both the radioimmunoassay does not occur. sent7: that the rounders and/or the anastigmaticness occurs prevents that the tilling happens. sent8: if the tilling occurs then the outerness happens. sent9: if that the fact that the lithographicness and the pressing occurs hold is false the fact that the outerness does not occur hold.
void -> assump2: Let's assume that the tilling happens.; void -> assump1: Let's assume that the anastigmaticness happens.; assump1 -> int1: the rounders and/or the anastigmaticness occurs.; sent7 & int1 -> int2: the tilling does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the anastigmaticness does not occur.; sent5 & int4 -> int5: that both the lithographicness and the pressing occurs does not hold.; sent9 & int5 -> int6: the outerness does not occur.; [assump2] & int6 -> hypothesis;
$hypothesis$ = the outerness does not occur if that the tilling happens is correct. ; $context$ = sent1: the rounders brings about that the tilling does not occur. sent2: that the rounders happens or the anastigmaticness or both prevents that the tilling does not occur. sent3: that the outerness does not occur is caused by the non-lithographicness. sent4: if the dogtrot does not occur the fact that the native and the contamination happens does not hold. sent5: if the anastigmaticness does not occur that the fact that the lithographicness and the pressing occurs is wrong hold. sent6: if the disorderliness happens or the pubertalness occurs or both the radioimmunoassay does not occur. sent7: that the rounders and/or the anastigmaticness occurs prevents that the tilling happens. sent8: if the tilling occurs then the outerness happens. sent9: if that the fact that the lithographicness and the pressing occurs hold is false the fact that the outerness does not occur hold. ; $proof$ = 
void -> assump2: Let's assume that the tilling happens.; void -> assump1: Let's assume that the anastigmaticness happens.; assump1 -> int1: the rounders and/or the anastigmaticness occurs.; sent7 & int1 -> int2: the tilling does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the anastigmaticness does not occur.; sent5 & int4 -> int5: that both the lithographicness and the pressing occurs does not hold.; sent9 & int5 -> int6: the outerness does not occur.; [assump2] & int6 -> hypothesis; __PROVED__