the impacting gauss does not occur.
sent1: if the fact that the decathlon occurs or the activating moorfowl happens or both is not right then the activating atrocity does not occur. sent2: that the claret but not the anoperinealness occurs is incorrect. sent3: if the activating whinstone happens then the arterioscleroticness happens. sent4: that the decathlon occurs or the activating moorfowl happens or both is not right if the impalpableness does not occur. sent5: if the foreignness does not occur then both the non-arterioscleroticness and the shivering tango occurs. sent6: the fact that the adrenocorticalness does not occur and the spring does not occur is not right if the activating whinstone does not occur. sent7: if the arterioscleroticness occurs then the fact that the impacting gauss occurs is not wrong. sent8: the pick-off does not occur. sent9: the impacting gauss does not occur if the pick-off occurs and/or the activating whinstone does not occur. sent10: if the fact that the impacting indemnity does not occur and the runup does not occur is incorrect then the impalpableness does not occur. sent11: the activating whinstone happens if the fact that the linearness does not occur and the activating enervation does not occur is not correct. sent12: if the fact that the linearness does not occur and the activating enervation does not occur is not false then the pick-off occurs. sent13: if the activating atrocity does not occur then the wondering and the cabling occurs. sent14: the disembowelment occurs. sent15: the foreignness does not occur and the ablation does not occur if the wondering happens.
void -> assump1: Let's assume that the linearness does not occur and the activating enervation does not occur.; sent12 & assump1 -> int1: the pick-off occurs.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the linearness does not occur and the activating enervation does not occur is not true.; int3 & sent11 -> int4: the activating whinstone occurs.; int4 & sent3 -> int5: the arterioscleroticness occurs.; int5 & sent7 -> hypothesis;
that the adrenocorticalness does not occur and the spring does not occur is not correct.
$hypothesis$ = the impacting gauss does not occur. ; $context$ = sent1: if the fact that the decathlon occurs or the activating moorfowl happens or both is not right then the activating atrocity does not occur. sent2: that the claret but not the anoperinealness occurs is incorrect. sent3: if the activating whinstone happens then the arterioscleroticness happens. sent4: that the decathlon occurs or the activating moorfowl happens or both is not right if the impalpableness does not occur. sent5: if the foreignness does not occur then both the non-arterioscleroticness and the shivering tango occurs. sent6: the fact that the adrenocorticalness does not occur and the spring does not occur is not right if the activating whinstone does not occur. sent7: if the arterioscleroticness occurs then the fact that the impacting gauss occurs is not wrong. sent8: the pick-off does not occur. sent9: the impacting gauss does not occur if the pick-off occurs and/or the activating whinstone does not occur. sent10: if the fact that the impacting indemnity does not occur and the runup does not occur is incorrect then the impalpableness does not occur. sent11: the activating whinstone happens if the fact that the linearness does not occur and the activating enervation does not occur is not correct. sent12: if the fact that the linearness does not occur and the activating enervation does not occur is not false then the pick-off occurs. sent13: if the activating atrocity does not occur then the wondering and the cabling occurs. sent14: the disembowelment occurs. sent15: the foreignness does not occur and the ablation does not occur if the wondering happens. ; $proof$ = 
void -> assump1: Let's assume that the linearness does not occur and the activating enervation does not occur.; sent12 & assump1 -> int1: the pick-off occurs.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the linearness does not occur and the activating enervation does not occur is not true.; int3 & sent11 -> int4: the activating whinstone occurs.; int4 & sent3 -> int5: the arterioscleroticness occurs.; int5 & sent7 -> hypothesis; __DISPROVED__