that the revolutionariness does not occur or the luminescence occurs or both does not hold.
sent1: that the cohering parallel happens is true if the screening does not occur. sent2: the fact that the crook happens is false if the forgiveness does not occur and the cohering bakery happens. sent3: the excelling Visayan occurs. sent4: that the heads-up happens and the unsinkableness happens is not correct. sent5: the obligation happens. sent6: the cohering bakery happens and the cohering parallel happens if the fact that the screening does not occur is not incorrect. sent7: that the redshift happens and the sphingineness happens is not correct if the forgiveness does not occur. sent8: that the redshift does not occur prevents that the cohering bakery happens. sent9: the screening happens and the cohering parallel happens if that the divulgence does not occur is true. sent10: the fact that the junket does not occur is true if the cohering acyl does not occur. sent11: that the epicureanness occurs and the noncollapsibleness occurs is false. sent12: if that the redshift happens and the sphingineness happens is not correct the cohering bakery does not occur. sent13: the luminescence happens if the fact that the forgiveness happens is true. sent14: the tortiousness happens. sent15: if the tortiousness does not occur the divulgence does not occur. sent16: the Frankishness occurs and/or the amygdalotomy happens. sent17: if the fact that the instructionalness happens and the cohering encainide occurs is incorrect the aeromedicalness does not occur. sent18: the screening does not occur. sent19: the fact that that the Frankishness and the achromatinicness occurs does not hold hold. sent20: the sapping and the taste occurs. sent21: that the luminescence occurs is prevented by that the cohering parallel but not the revolutionariness occurs.
void -> assump1: Let's assume that the forgiveness does not occur.; sent7 & assump1 -> int1: the fact that the redshift occurs and the sphingineness happens is wrong.; int1 & sent12 -> int2: the cohering bakery does not occur.; sent6 & sent18 -> int3: the cohering bakery and the cohering parallel happens.; int3 -> int4: the fact that the cohering bakery occurs is not false.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the forgiveness happens.; int6 & sent13 -> int7: the luminescence happens.; int7 -> hypothesis;
the fact that that either the non-revolutionariness or the luminescence or both happens is not correct hold.
 -> hypothesis;
$hypothesis$ = that the revolutionariness does not occur or the luminescence occurs or both does not hold. ; $context$ = sent1: that the cohering parallel happens is true if the screening does not occur. sent2: the fact that the crook happens is false if the forgiveness does not occur and the cohering bakery happens. sent3: the excelling Visayan occurs. sent4: that the heads-up happens and the unsinkableness happens is not correct. sent5: the obligation happens. sent6: the cohering bakery happens and the cohering parallel happens if the fact that the screening does not occur is not incorrect. sent7: that the redshift happens and the sphingineness happens is not correct if the forgiveness does not occur. sent8: that the redshift does not occur prevents that the cohering bakery happens. sent9: the screening happens and the cohering parallel happens if that the divulgence does not occur is true. sent10: the fact that the junket does not occur is true if the cohering acyl does not occur. sent11: that the epicureanness occurs and the noncollapsibleness occurs is false. sent12: if that the redshift happens and the sphingineness happens is not correct the cohering bakery does not occur. sent13: the luminescence happens if the fact that the forgiveness happens is true. sent14: the tortiousness happens. sent15: if the tortiousness does not occur the divulgence does not occur. sent16: the Frankishness occurs and/or the amygdalotomy happens. sent17: if the fact that the instructionalness happens and the cohering encainide occurs is incorrect the aeromedicalness does not occur. sent18: the screening does not occur. sent19: the fact that that the Frankishness and the achromatinicness occurs does not hold hold. sent20: the sapping and the taste occurs. sent21: that the luminescence occurs is prevented by that the cohering parallel but not the revolutionariness occurs. ; $proof$ = 
void -> assump1: Let's assume that the forgiveness does not occur.; sent7 & assump1 -> int1: the fact that the redshift occurs and the sphingineness happens is wrong.; int1 & sent12 -> int2: the cohering bakery does not occur.; sent6 & sent18 -> int3: the cohering bakery and the cohering parallel happens.; int3 -> int4: the fact that the cohering bakery occurs is not false.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the forgiveness happens.; int6 & sent13 -> int7: the luminescence happens.; int7 -> hypothesis; __DISPROVED__