the nonresistance occurs.
sent1: if the earlessness does not occur then the nonresistance occurs. sent2: the politicness occurs. sent3: the regressiveness happens and the Praetorianness happens. sent4: that the contrasting does not occur is prevented by the supportiveness. sent5: the preanalness occurs. sent6: if that the bestowing and the nonresistance happens does not hold the nonresistance does not occur. sent7: the compressing occurs. sent8: the coast and the non-alchemisticness occurs if the regressiveness occurs. sent9: if the defraying Abidjan does not occur then either the clocking glutton does not occur or the earlessness does not occur or both. sent10: the politicness happens and the bestowing occurs. sent11: that the bestowing does not occur and the politicness happens prevents that the nonresistance occurs. sent12: that the nonresistance does not occur is prevented by that the clocking glutton does not occur. sent13: if the regressiveness occurs then the alchemisticness does not occur. sent14: if the bestowing and the defraying Abidjan occurs then the coasting does not occur.
sent10 -> int1: the bestowing happens.; void -> assump1: Let's assume that the defraying Abidjan happens.; int1 & assump1 -> int2: the bestowing occurs and the defraying Abidjan happens.; int2 & sent14 -> int3: the coasting does not occur.; sent3 -> int4: the regressiveness happens.; sent8 & int4 -> int5: the coast and the non-alchemisticness occurs.; int5 -> int6: the coasting happens.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the defraying Abidjan does not occur.; int8 & sent9 -> int9: the clocking glutton does not occur and/or the earlessness does not occur.; int9 & sent12 & sent1 -> hypothesis;
the nonresistance does not occur.
$hypothesis$ = the nonresistance occurs. ; $context$ = sent1: if the earlessness does not occur then the nonresistance occurs. sent2: the politicness occurs. sent3: the regressiveness happens and the Praetorianness happens. sent4: that the contrasting does not occur is prevented by the supportiveness. sent5: the preanalness occurs. sent6: if that the bestowing and the nonresistance happens does not hold the nonresistance does not occur. sent7: the compressing occurs. sent8: the coast and the non-alchemisticness occurs if the regressiveness occurs. sent9: if the defraying Abidjan does not occur then either the clocking glutton does not occur or the earlessness does not occur or both. sent10: the politicness happens and the bestowing occurs. sent11: that the bestowing does not occur and the politicness happens prevents that the nonresistance occurs. sent12: that the nonresistance does not occur is prevented by that the clocking glutton does not occur. sent13: if the regressiveness occurs then the alchemisticness does not occur. sent14: if the bestowing and the defraying Abidjan occurs then the coasting does not occur. ; $proof$ = 
sent10 -> int1: the bestowing happens.; void -> assump1: Let's assume that the defraying Abidjan happens.; int1 & assump1 -> int2: the bestowing occurs and the defraying Abidjan happens.; int2 & sent14 -> int3: the coasting does not occur.; sent3 -> int4: the regressiveness happens.; sent8 & int4 -> int5: the coast and the non-alchemisticness occurs.; int5 -> int6: the coasting happens.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the defraying Abidjan does not occur.; int8 & sent9 -> int9: the clocking glutton does not occur and/or the earlessness does not occur.; int9 & sent12 & sent1 -> hypothesis; __PROVED__