the footlessness does not occur and/or the igneousness does not occur.
sent1: either the anti-semiticness does not occur or the apogamicness does not occur or both. sent2: the agnostic happens and the caning logbook happens. sent3: not the IRA but the unalterableness occurs. sent4: the non-tonguelessness or the non-etymologicalness or both happens. sent5: the trail does not occur if the caning logbook does not occur and the chemotherapeuticness does not occur. sent6: the untrustworthiness happens. sent7: if the traversing occurs and the looming desktop occurs the untrustworthiness does not occur. sent8: the branching occurs. sent9: if the looming desktop does not occur and the IRA does not occur then the footlessness does not occur. sent10: that the traversing does not occur and the looming desktop does not occur is not correct. sent11: the hobbling does not occur. sent12: the traversing happens. sent13: if the fact that the traversing does not occur and the looming desktop does not occur does not hold the eluting crackle does not occur. sent14: the fact that the frying occurs is right.
void -> assump1: Let's assume that the looming desktop happens.; sent12 & assump1 -> int1: the traversing occurs and the looming desktop occurs.; int1 & sent7 -> int2: the untrustworthiness does not occur.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the looming desktop does not occur.; sent3 -> int5: the IRA does not occur.; int4 & int5 -> int6: the looming desktop does not occur and the IRA does not occur.; int6 & sent9 -> int7: the footlessness does not occur.; int7 -> hypothesis;
the eluting crackle does not occur.
sent13 & sent10 -> hypothesis;
$hypothesis$ = the footlessness does not occur and/or the igneousness does not occur. ; $context$ = sent1: either the anti-semiticness does not occur or the apogamicness does not occur or both. sent2: the agnostic happens and the caning logbook happens. sent3: not the IRA but the unalterableness occurs. sent4: the non-tonguelessness or the non-etymologicalness or both happens. sent5: the trail does not occur if the caning logbook does not occur and the chemotherapeuticness does not occur. sent6: the untrustworthiness happens. sent7: if the traversing occurs and the looming desktop occurs the untrustworthiness does not occur. sent8: the branching occurs. sent9: if the looming desktop does not occur and the IRA does not occur then the footlessness does not occur. sent10: that the traversing does not occur and the looming desktop does not occur is not correct. sent11: the hobbling does not occur. sent12: the traversing happens. sent13: if the fact that the traversing does not occur and the looming desktop does not occur does not hold the eluting crackle does not occur. sent14: the fact that the frying occurs is right. ; $proof$ = 
void -> assump1: Let's assume that the looming desktop happens.; sent12 & assump1 -> int1: the traversing occurs and the looming desktop occurs.; int1 & sent7 -> int2: the untrustworthiness does not occur.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the looming desktop does not occur.; sent3 -> int5: the IRA does not occur.; int4 & int5 -> int6: the looming desktop does not occur and the IRA does not occur.; int6 & sent9 -> int7: the footlessness does not occur.; int7 -> hypothesis; __PROVED__