if that not the invigilation but the shushing Sullivan occurs does not hold then the shushing Sullivan does not occur.
sent1: if the smelling does not occur but the dunking Sabine occurs then the dunking Sabine does not occur. sent2: if that the concordance does not occur but the grouping happens is wrong then the grouping does not occur. sent3: the concerting does not occur if the logisticness occurs. sent4: the electricity does not occur. sent5: that not the keratinizing ketorolac but the hotbedness happens does not hold if the offness does not occur. sent6: that the keratinizing grandstand occurs yields that the christianness does not occur. sent7: not the dunking cumulus but the attritionalness occurs. sent8: if the fact that not the invigilation but the shushing Sullivan occurs does not hold then the shushing Sullivan happens. sent9: that the inadvisableness occurs is prevented by that the intercommunion or the keratinizing fatalist or both happens. sent10: the fact that the shushing chignon does not occur is not false if that not the humming ingredient but the shushing chignon happens is not right. sent11: the humming phenobarbital occurs or the concoction occurs or both. sent12: the offness happens. sent13: the settling does not occur. sent14: the dunking swiz does not occur but the detente happens. sent15: the mediatorialness and/or that the anguineness occurs prevents that the shushing hyponatremia happens. sent16: the modeling occurs. sent17: the humming pitch does not occur if the fact that the radiance does not occur but the humming pitch occurs does not hold. sent18: that either the offness happens or the keratinizing narrator happens or both yields that the invigilation does not occur.
sent12 -> int1: the offness occurs and/or the keratinizing narrator occurs.; sent18 & int1 -> int2: the invigilation does not occur.; void -> assump2: Let's assume that the shushing Sullivan occurs.; int2 & assump2 -> int3: the invigilation does not occur but the shushing Sullivan occurs.; void -> assump1: Let's assume that the fact that not the invigilation but the shushing Sullivan occurs is not true.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the shushing Sullivan does not occur.; [assump1] & int5 -> hypothesis;
the fact that the fact that the keratinizing ketorolac does not occur and the hotbedness happens hold is not correct.
$hypothesis$ = if that not the invigilation but the shushing Sullivan occurs does not hold then the shushing Sullivan does not occur. ; $context$ = sent1: if the smelling does not occur but the dunking Sabine occurs then the dunking Sabine does not occur. sent2: if that the concordance does not occur but the grouping happens is wrong then the grouping does not occur. sent3: the concerting does not occur if the logisticness occurs. sent4: the electricity does not occur. sent5: that not the keratinizing ketorolac but the hotbedness happens does not hold if the offness does not occur. sent6: that the keratinizing grandstand occurs yields that the christianness does not occur. sent7: not the dunking cumulus but the attritionalness occurs. sent8: if the fact that not the invigilation but the shushing Sullivan occurs does not hold then the shushing Sullivan happens. sent9: that the inadvisableness occurs is prevented by that the intercommunion or the keratinizing fatalist or both happens. sent10: the fact that the shushing chignon does not occur is not false if that not the humming ingredient but the shushing chignon happens is not right. sent11: the humming phenobarbital occurs or the concoction occurs or both. sent12: the offness happens. sent13: the settling does not occur. sent14: the dunking swiz does not occur but the detente happens. sent15: the mediatorialness and/or that the anguineness occurs prevents that the shushing hyponatremia happens. sent16: the modeling occurs. sent17: the humming pitch does not occur if the fact that the radiance does not occur but the humming pitch occurs does not hold. sent18: that either the offness happens or the keratinizing narrator happens or both yields that the invigilation does not occur. ; $proof$ = 
sent12 -> int1: the offness occurs and/or the keratinizing narrator occurs.; sent18 & int1 -> int2: the invigilation does not occur.; void -> assump2: Let's assume that the shushing Sullivan occurs.; int2 & assump2 -> int3: the invigilation does not occur but the shushing Sullivan occurs.; void -> assump1: Let's assume that the fact that not the invigilation but the shushing Sullivan occurs is not true.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the shushing Sullivan does not occur.; [assump1] & int5 -> hypothesis; __PROVED__