the Lusitanianness does not occur and the leaching stocktaker occurs.
sent1: the deviating constant does not occur and the leaching seriema happens. sent2: the fact that the compulsion does not occur or the washup occurs or both is correct. sent3: the sugariness does not occur. sent4: if the khamsin does not occur then both the leaching congregation and the MOT occurs. sent5: the insolventness does not occur. sent6: that not the deviating hatefulness but the intemperance happens hold. sent7: the compulsion occurs or the washup does not occur or both. sent8: the drafting does not occur. sent9: if the embodiment occurs then the leaching narrator occurs. sent10: the oatenness occurs. sent11: that the Low occurs is caused by the compulsion. sent12: that the summarization does not occur yields that both the leaching stocktaker and the motility happens. sent13: not the Low but the rioting Shannon occurs. sent14: the leaching angst does not occur. sent15: the rioting Shannon happens. sent16: the fact that not the matriculation but the shoplifting occurs is true. sent17: the motility happens. sent18: that the Lusitanianness does not occur is not false if either the compulsion does not occur or the washup does not occur or both. sent19: that the leaching hiss occurs is prevented by that the deviating craftsman does not occur and/or that the deviating rowing does not occur. sent20: the jolt does not occur. sent21: the summarization does not occur.
void -> assump1: Let's assume that the compulsion happens.; sent11 & assump1 -> int1: the Low occurs.; sent13 -> int2: the Low does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the compulsion does not occur.; int4 -> int5: the compulsion does not occur or the washup does not occur or both.; int5 & sent18 -> int6: the Lusitanianness does not occur.; sent12 & sent21 -> int7: the leaching stocktaker and the motility occurs.; int7 -> int8: the leaching stocktaker occurs.; int6 & int8 -> hypothesis;
that not the Lusitanianness but the leaching stocktaker occurs does not hold.
 -> hypothesis;
$hypothesis$ = the Lusitanianness does not occur and the leaching stocktaker occurs. ; $context$ = sent1: the deviating constant does not occur and the leaching seriema happens. sent2: the fact that the compulsion does not occur or the washup occurs or both is correct. sent3: the sugariness does not occur. sent4: if the khamsin does not occur then both the leaching congregation and the MOT occurs. sent5: the insolventness does not occur. sent6: that not the deviating hatefulness but the intemperance happens hold. sent7: the compulsion occurs or the washup does not occur or both. sent8: the drafting does not occur. sent9: if the embodiment occurs then the leaching narrator occurs. sent10: the oatenness occurs. sent11: that the Low occurs is caused by the compulsion. sent12: that the summarization does not occur yields that both the leaching stocktaker and the motility happens. sent13: not the Low but the rioting Shannon occurs. sent14: the leaching angst does not occur. sent15: the rioting Shannon happens. sent16: the fact that not the matriculation but the shoplifting occurs is true. sent17: the motility happens. sent18: that the Lusitanianness does not occur is not false if either the compulsion does not occur or the washup does not occur or both. sent19: that the leaching hiss occurs is prevented by that the deviating craftsman does not occur and/or that the deviating rowing does not occur. sent20: the jolt does not occur. sent21: the summarization does not occur. ; $proof$ = 
void -> assump1: Let's assume that the compulsion happens.; sent11 & assump1 -> int1: the Low occurs.; sent13 -> int2: the Low does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the compulsion does not occur.; int4 -> int5: the compulsion does not occur or the washup does not occur or both.; int5 & sent18 -> int6: the Lusitanianness does not occur.; sent12 & sent21 -> int7: the leaching stocktaker and the motility occurs.; int7 -> int8: the leaching stocktaker occurs.; int6 & int8 -> hypothesis; __PROVED__