the non-electromagneticness and/or the dysplasticness happens.
sent1: the electromagneticness occurs. sent2: the Set occurs. sent3: if that the non-electromagneticness and/or the dysplasticness occurs does not hold the fact that the hazard happens is not wrong. sent4: the Simonizing adviser does not occur. sent5: that the confidentness does not occur causes that both the tracing and the sporadicness occurs. sent6: the swiping and/or the hazard prevents the cocooning. sent7: the rating happens. sent8: if the Tobagonianness does not occur the Simonizing plutocrat occurs. sent9: both the cocooning and the pigment happens if the Simonizing adviser does not occur. sent10: the fact that the regeneratingness happens hold. sent11: if the pigmenting does not occur but the cocooning happens then that the hazard does not occur is correct. sent12: the unbuttoning Lot occurs. sent13: the behest happens.
void -> assump1: Let's assume that that the non-electromagneticness or the dysplasticness or both happens is not right.; sent3 & assump1 -> int1: the hazard happens.; int1 -> int2: the swiping and/or the hazard occurs.; int2 & sent6 -> int3: the cocooning does not occur.; sent9 & sent4 -> int4: the cocooning and the pigmenting happens.; int4 -> int5: the cocooning occurs.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
that the Orwellianness occurs is right.
$hypothesis$ = the non-electromagneticness and/or the dysplasticness happens. ; $context$ = sent1: the electromagneticness occurs. sent2: the Set occurs. sent3: if that the non-electromagneticness and/or the dysplasticness occurs does not hold the fact that the hazard happens is not wrong. sent4: the Simonizing adviser does not occur. sent5: that the confidentness does not occur causes that both the tracing and the sporadicness occurs. sent6: the swiping and/or the hazard prevents the cocooning. sent7: the rating happens. sent8: if the Tobagonianness does not occur the Simonizing plutocrat occurs. sent9: both the cocooning and the pigment happens if the Simonizing adviser does not occur. sent10: the fact that the regeneratingness happens hold. sent11: if the pigmenting does not occur but the cocooning happens then that the hazard does not occur is correct. sent12: the unbuttoning Lot occurs. sent13: the behest happens. ; $proof$ = 
void -> assump1: Let's assume that that the non-electromagneticness or the dysplasticness or both happens is not right.; sent3 & assump1 -> int1: the hazard happens.; int1 -> int2: the swiping and/or the hazard occurs.; int2 & sent6 -> int3: the cocooning does not occur.; sent9 & sent4 -> int4: the cocooning and the pigmenting happens.; int4 -> int5: the cocooning occurs.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__