that the cheering does not occur brings about that not the campaign but the chiming occurs.
sent1: the possession happens. sent2: if the ultramicroscopicness happens the nonindulgentness does not occur. sent3: the nonindulgentness does not occur if the fact that the non-ultramicroscopicness and the cheering happens is incorrect. sent4: the chiming happens if the nonindulgentness does not occur and/or the kneel does not occur. sent5: the orthopedicsness occurs.
void -> assump1: Let's assume that the ultramicroscopicness does not occur and the cheer happens.; assump1 -> int1: the cheering occurs.; void -> assump2: Let's assume that the cheer does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that both the non-ultramicroscopicness and the cheer occurs does not hold.; int3 & sent3 -> int4: the nonindulgentness does not occur.; int4 -> int5: the nonindulgentness does not occur or the kneeling does not occur or both.; int5 & sent4 -> int6: the chime occurs.;
$hypothesis$ = that the cheering does not occur brings about that not the campaign but the chiming occurs. ; $context$ = sent1: the possession happens. sent2: if the ultramicroscopicness happens the nonindulgentness does not occur. sent3: the nonindulgentness does not occur if the fact that the non-ultramicroscopicness and the cheering happens is incorrect. sent4: the chiming happens if the nonindulgentness does not occur and/or the kneel does not occur. sent5: the orthopedicsness occurs. ; $proof$ = 
void -> assump1: Let's assume that the ultramicroscopicness does not occur and the cheer happens.; assump1 -> int1: the cheering occurs.; void -> assump2: Let's assume that the cheer does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that both the non-ultramicroscopicness and the cheer occurs does not hold.; int3 & sent3 -> int4: the nonindulgentness does not occur.; int4 -> int5: the nonindulgentness does not occur or the kneeling does not occur or both.; int5 & sent4 -> int6: the chime occurs.; __UNKNOWN__