the hiccupping occurs and/or the impossible occurs if the vulpineness does not occur.
sent1: both the non-gloriousness and the non-vulpineness occurs if the hiccupping does not occur. sent2: the hiccup happens if the caroling happens. sent3: if the saunter occurs then the steam and/or the codification occurs. sent4: either the ballup occurs or the caroling occurs or both if the vulpineness does not occur. sent5: the approving leads to the horseshow and/or the adrenergic. sent6: if the vulpineness occurs the hiccup and/or the impossibleness happens. sent7: if the refractiveness happens then the lash happens and/or the Tahitianness happens. sent8: either the suppling thump happens or the manorialness happens or both. sent9: the pairing tempera brings about that the achondroplasticness and/or the tune-up happens. sent10: if the vulpineness occurs the ballup and/or the caroling occurs. sent11: if the impossible occurs then the hiccupping does not occur. sent12: if the claim happens the suppling protectorship occurs and/or the tip-off occurs. sent13: if the ballup occurs then the hiccup happens.
void -> assump1: Let's assume that the vulpineness does not occur.; sent4 & assump1 -> int1: the ballup occurs and/or the caroling happens.; int1 & sent13 & sent2 -> int2: the hiccupping happens.; int2 -> int3: either the hiccupping or the impossible or both happens.; [assump1] & int3 -> hypothesis;
the fact that the gloriousness does not occur is not false.
$hypothesis$ = the hiccupping occurs and/or the impossible occurs if the vulpineness does not occur. ; $context$ = sent1: both the non-gloriousness and the non-vulpineness occurs if the hiccupping does not occur. sent2: the hiccup happens if the caroling happens. sent3: if the saunter occurs then the steam and/or the codification occurs. sent4: either the ballup occurs or the caroling occurs or both if the vulpineness does not occur. sent5: the approving leads to the horseshow and/or the adrenergic. sent6: if the vulpineness occurs the hiccup and/or the impossibleness happens. sent7: if the refractiveness happens then the lash happens and/or the Tahitianness happens. sent8: either the suppling thump happens or the manorialness happens or both. sent9: the pairing tempera brings about that the achondroplasticness and/or the tune-up happens. sent10: if the vulpineness occurs the ballup and/or the caroling occurs. sent11: if the impossible occurs then the hiccupping does not occur. sent12: if the claim happens the suppling protectorship occurs and/or the tip-off occurs. sent13: if the ballup occurs then the hiccup happens. ; $proof$ = 
void -> assump1: Let's assume that the vulpineness does not occur.; sent4 & assump1 -> int1: the ballup occurs and/or the caroling happens.; int1 & sent13 & sent2 -> int2: the hiccupping happens.; int2 -> int3: either the hiccupping or the impossible or both happens.; [assump1] & int3 -> hypothesis; __PROVED__