the fact that the acrophony does not occur and/or the salvificness happens is not right.
sent1: if the paperiness does not occur that the fixing Ra and the thumping happens is not correct. sent2: that that the undeniableness does not occur is brought about by that the thump does not occur is true. sent3: the dissuasiveness happens. sent4: the hurl happens. sent5: the extricableness does not occur. sent6: the salvificness does not occur. sent7: the hewing occurs if the articling atomism happens. sent8: the affine does not occur. sent9: that the hurling and the paperiness happens results in the non-dissuasiveness. sent10: that the undeniableness does not occur prevents that the hewing happens. sent11: the acetylenicness occurs and the Nicaraguan happens. sent12: if the hurl does not occur then either the acrophony does not occur or the salvificness occurs or both. sent13: if the hewing does not occur the salvificness does not occur. sent14: the fact that the hurl does not occur hold if the dissuasiveness does not occur and the paperiness does not occur. sent15: the caruncularness happens. sent16: the fact that the acrophony does not occur and/or the salvificness occurs is not true if the hewing does not occur. sent17: if the thump does not occur then both the non-dissuasiveness and the non-paperiness happens. sent18: if the fact that the fixing Ra occurs and the thumping occurs is not right then the undeniableness does not occur.
void -> assump1: Let's assume that the paperiness happens.; sent4 & assump1 -> int1: both the hurl and the paperiness occurs.; int1 & sent9 -> int2: the dissuasiveness does not occur.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: the paperiness does not occur.; int4 & sent1 -> int5: the fact that the fixing Ra occurs and the thump occurs is not true.; int5 & sent18 -> int6: the undeniableness does not occur.; int6 & sent10 -> int7: the hewing does not occur.; int7 & sent16 -> hypothesis;
the acrophony does not occur or the salvificness occurs or both.
$hypothesis$ = the fact that the acrophony does not occur and/or the salvificness happens is not right. ; $context$ = sent1: if the paperiness does not occur that the fixing Ra and the thumping happens is not correct. sent2: that that the undeniableness does not occur is brought about by that the thump does not occur is true. sent3: the dissuasiveness happens. sent4: the hurl happens. sent5: the extricableness does not occur. sent6: the salvificness does not occur. sent7: the hewing occurs if the articling atomism happens. sent8: the affine does not occur. sent9: that the hurling and the paperiness happens results in the non-dissuasiveness. sent10: that the undeniableness does not occur prevents that the hewing happens. sent11: the acetylenicness occurs and the Nicaraguan happens. sent12: if the hurl does not occur then either the acrophony does not occur or the salvificness occurs or both. sent13: if the hewing does not occur the salvificness does not occur. sent14: the fact that the hurl does not occur hold if the dissuasiveness does not occur and the paperiness does not occur. sent15: the caruncularness happens. sent16: the fact that the acrophony does not occur and/or the salvificness occurs is not true if the hewing does not occur. sent17: if the thump does not occur then both the non-dissuasiveness and the non-paperiness happens. sent18: if the fact that the fixing Ra occurs and the thumping occurs is not right then the undeniableness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the paperiness happens.; sent4 & assump1 -> int1: both the hurl and the paperiness occurs.; int1 & sent9 -> int2: the dissuasiveness does not occur.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: the paperiness does not occur.; int4 & sent1 -> int5: the fact that the fixing Ra occurs and the thump occurs is not true.; int5 & sent18 -> int6: the undeniableness does not occur.; int6 & sent10 -> int7: the hewing does not occur.; int7 & sent16 -> hypothesis; __PROVED__