the singularness does not occur.
sent1: if the processionalness does not occur the singularness does not occur. sent2: the Lebaneseness does not occur. sent3: if that the affectedness does not occur and the exaggeration does not occur is false the singularness happens. sent4: the exaggeration is prevented by that both the Ping and the uninstructiveness happens. sent5: the Lebanese does not occur if the fact that the affectedness occurs is right. sent6: the contorting Aryan occurs. sent7: if the fact that the affectedness does not occur is right then the fact that the fact that the deferral occurs and the processionalness happens is not right hold. sent8: if the theologizing does not occur then both the contorting Aryan and the exaggeration occurs. sent9: that the theologizing does not occur triggers the contorting Aryan. sent10: the Lebanese does not occur and the theologizing does not occur if the affectedness happens. sent11: the heraldicness happens. sent12: if the developmentalness does not occur the contorting taurine happens and the embattling occurs. sent13: the Ping occurs. sent14: if the fact that both the deferral and the processional occurs does not hold then the singular does not occur.
void -> assump1: Let's assume that the fact that the affectedness occurs is not wrong.; sent10 & assump1 -> int1: the Lebaneseness does not occur and the theologizing does not occur.; int1 -> int2: the fact that the theologizing does not occur is correct.; int2 & sent8 -> int3: both the contorting Aryan and the exaggeration occurs.; int3 -> int4: the exaggeration happens.;
the singularness occurs.
$hypothesis$ = the singularness does not occur. ; $context$ = sent1: if the processionalness does not occur the singularness does not occur. sent2: the Lebaneseness does not occur. sent3: if that the affectedness does not occur and the exaggeration does not occur is false the singularness happens. sent4: the exaggeration is prevented by that both the Ping and the uninstructiveness happens. sent5: the Lebanese does not occur if the fact that the affectedness occurs is right. sent6: the contorting Aryan occurs. sent7: if the fact that the affectedness does not occur is right then the fact that the fact that the deferral occurs and the processionalness happens is not right hold. sent8: if the theologizing does not occur then both the contorting Aryan and the exaggeration occurs. sent9: that the theologizing does not occur triggers the contorting Aryan. sent10: the Lebanese does not occur and the theologizing does not occur if the affectedness happens. sent11: the heraldicness happens. sent12: if the developmentalness does not occur the contorting taurine happens and the embattling occurs. sent13: the Ping occurs. sent14: if the fact that both the deferral and the processional occurs does not hold then the singular does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the affectedness occurs is not wrong.; sent10 & assump1 -> int1: the Lebaneseness does not occur and the theologizing does not occur.; int1 -> int2: the fact that the theologizing does not occur is correct.; int2 & sent8 -> int3: both the contorting Aryan and the exaggeration occurs.; int3 -> int4: the exaggeration happens.; __UNKNOWN__