the recalcitrating does not occur.
sent1: if the collegialness does not occur that the dysplasticness does not occur but the noneffervescentness happens is incorrect. sent2: the detriment does not occur. sent3: the marshaling documentation does not occur if that both the non-dysplasticness and the noneffervescentness happens is not true. sent4: the marshaling documentation and the inoperativeness happens if the detriment does not occur. sent5: that the recalcitrating occurs is prevented by that the spectacular and/or the collegialness occurs.
void -> assump1: Let's assume that that the collegialness does not occur hold.; sent1 & assump1 -> int1: that the non-dysplasticness and the noneffervescentness happens is incorrect.; int1 & sent3 -> int2: the marshaling documentation does not occur.; sent4 & sent2 -> int3: the marshaling documentation and the inoperativeness occurs.; int3 -> int4: that the marshaling documentation happens is not false.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the collegialness occurs.; int6 -> int7: the spectacular or the collegialness or both occurs.; int7 & sent5 -> hypothesis;
$hypothesis$ = the recalcitrating does not occur. ; $context$ = sent1: if the collegialness does not occur that the dysplasticness does not occur but the noneffervescentness happens is incorrect. sent2: the detriment does not occur. sent3: the marshaling documentation does not occur if that both the non-dysplasticness and the noneffervescentness happens is not true. sent4: the marshaling documentation and the inoperativeness happens if the detriment does not occur. sent5: that the recalcitrating occurs is prevented by that the spectacular and/or the collegialness occurs. ; $proof$ = 
void -> assump1: Let's assume that that the collegialness does not occur hold.; sent1 & assump1 -> int1: that the non-dysplasticness and the noneffervescentness happens is incorrect.; int1 & sent3 -> int2: the marshaling documentation does not occur.; sent4 & sent2 -> int3: the marshaling documentation and the inoperativeness occurs.; int3 -> int4: that the marshaling documentation happens is not false.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the collegialness occurs.; int6 -> int7: the spectacular or the collegialness or both occurs.; int7 & sent5 -> hypothesis; __PROVED__