if the preventableness happens then the non-viaticalness or the gladiatorialness or both occurs.
sent1: the preventableness happens if the rolling Mashriq happens and the psycholinguisticness occurs. sent2: that the trucking Requiem occurs causes that either the non-sarcasticness or the brimlessness or both happens. sent3: that the rolling Mashriq but not the objecting happens is triggered by that the psycholinguisticness does not occur. sent4: the preventableness does not occur if the rolling Mashriq happens and the psycholinguisticness occurs. sent5: the psycholinguisticness happens. sent6: both the bodiliness and the Prakriticness happens. sent7: either the non-jointedness or the cambering line or both occurs if the gratefulness happens. sent8: if the rolling Mashriq does not occur then either the viaticalness or the gladiatorialness or both happens. sent9: the constipating does not occur and/or the detribalization happens. sent10: if the turnaround and the trucking end-all happens then the alkalimetry does not occur. sent11: if the rolling Gilgamish does not occur both the opening rehabilitation and the viaticalness happens. sent12: the viaticalness and/or the gladiatorialness happens if the preventableness occurs. sent13: the fact that the unpreventableness and the gladiatorialness happens does not hold if the viaticalness occurs. sent14: the rolling Gilgamish does not occur but the animalization happens if the LASIK does not occur. sent15: the fact that the trucking Ukranian does not occur or the opening Fulbright happens or both is right if the lathering does not occur. sent16: the non-viaticalness and/or the gladiatorialness occurs if the rolling Mashriq does not occur.
void -> assump2: Let's assume that the preventableness happens.; void -> assump1: Let's assume that the rolling Mashriq happens.; assump1 & sent5 -> int1: the rolling Mashriq and the psycholinguisticness happens.; sent4 & int1 -> int2: the preventableness does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the rolling Mashriq does not occur.; sent16 & int4 -> int5: the non-viaticalness and/or the gladiatorialness occurs.; [assump2] & int5 -> hypothesis;
the object does not occur.
$hypothesis$ = if the preventableness happens then the non-viaticalness or the gladiatorialness or both occurs. ; $context$ = sent1: the preventableness happens if the rolling Mashriq happens and the psycholinguisticness occurs. sent2: that the trucking Requiem occurs causes that either the non-sarcasticness or the brimlessness or both happens. sent3: that the rolling Mashriq but not the objecting happens is triggered by that the psycholinguisticness does not occur. sent4: the preventableness does not occur if the rolling Mashriq happens and the psycholinguisticness occurs. sent5: the psycholinguisticness happens. sent6: both the bodiliness and the Prakriticness happens. sent7: either the non-jointedness or the cambering line or both occurs if the gratefulness happens. sent8: if the rolling Mashriq does not occur then either the viaticalness or the gladiatorialness or both happens. sent9: the constipating does not occur and/or the detribalization happens. sent10: if the turnaround and the trucking end-all happens then the alkalimetry does not occur. sent11: if the rolling Gilgamish does not occur both the opening rehabilitation and the viaticalness happens. sent12: the viaticalness and/or the gladiatorialness happens if the preventableness occurs. sent13: the fact that the unpreventableness and the gladiatorialness happens does not hold if the viaticalness occurs. sent14: the rolling Gilgamish does not occur but the animalization happens if the LASIK does not occur. sent15: the fact that the trucking Ukranian does not occur or the opening Fulbright happens or both is right if the lathering does not occur. sent16: the non-viaticalness and/or the gladiatorialness occurs if the rolling Mashriq does not occur. ; $proof$ = 
void -> assump2: Let's assume that the preventableness happens.; void -> assump1: Let's assume that the rolling Mashriq happens.; assump1 & sent5 -> int1: the rolling Mashriq and the psycholinguisticness happens.; sent4 & int1 -> int2: the preventableness does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the rolling Mashriq does not occur.; sent16 & int4 -> int5: the non-viaticalness and/or the gladiatorialness occurs.; [assump2] & int5 -> hypothesis; __PROVED__