the C-section does not occur and the grading allocution does not occur if the unerectness occurs.
sent1: if the fact that the unerectness does not occur hold then the sociologicalness does not occur but the Senecanness occurs. sent2: the greenhouseness happens and the anisogameticness happens. sent3: not the counting payola but the headship occurs if the unerectness occurs. sent4: that the flash occurs is prevented by that both the headship and the cleaning happens. sent5: if the flashing does not occur the C-section does not occur and the grading allocution does not occur. sent6: the greenhouse prevents the non-cleanness. sent7: either the cleanness happens or the flash does not occur or both if the fact that the C-section does not occur is correct.
void -> assump1: Let's assume that the unerectness happens.; sent3 & assump1 -> int1: not the counting payola but the headship occurs.; int1 -> int2: the headship happens.; sent2 -> int3: the greenhouse happens.; sent6 & int3 -> int4: the clean occurs.; int2 & int4 -> int5: both the headship and the cleanness happens.; int5 & sent4 -> int6: the fact that the flash does not occur is right.; int6 & sent5 -> int7: the C-section does not occur and the grading allocution does not occur.; [assump1] & int7 -> hypothesis;
not the sociologicalness but the Senecanness happens.
$hypothesis$ = the C-section does not occur and the grading allocution does not occur if the unerectness occurs. ; $context$ = sent1: if the fact that the unerectness does not occur hold then the sociologicalness does not occur but the Senecanness occurs. sent2: the greenhouseness happens and the anisogameticness happens. sent3: not the counting payola but the headship occurs if the unerectness occurs. sent4: that the flash occurs is prevented by that both the headship and the cleaning happens. sent5: if the flashing does not occur the C-section does not occur and the grading allocution does not occur. sent6: the greenhouse prevents the non-cleanness. sent7: either the cleanness happens or the flash does not occur or both if the fact that the C-section does not occur is correct. ; $proof$ = 
void -> assump1: Let's assume that the unerectness happens.; sent3 & assump1 -> int1: not the counting payola but the headship occurs.; int1 -> int2: the headship happens.; sent2 -> int3: the greenhouse happens.; sent6 & int3 -> int4: the clean occurs.; int2 & int4 -> int5: both the headship and the cleanness happens.; int5 & sent4 -> int6: the fact that the flash does not occur is right.; int6 & sent5 -> int7: the C-section does not occur and the grading allocution does not occur.; [assump1] & int7 -> hypothesis; __PROVED__