the jihadiness does not occur if the apparition does not occur.
sent1: the revolving happens. sent2: the confusing dodderer does not occur. sent3: if the apparition does not occur then the fact that the jihadiness occurs is correct. sent4: the quietness does not occur. sent5: the remission brings about the non-erythroidness. sent6: the fact that the fronting illiterate occurs is not false. sent7: the Capetianness does not occur. sent8: the apparition and the quietness occurs if the enumeration does not occur. sent9: that the boxing happens is prevented by the non-paniculateness. sent10: the delegating occurs if that the jihadiness but not the delegating occurs is not true. sent11: the bioticness does not occur. sent12: the apparition is triggered by that both the jihadiness and the non-quietness occurs. sent13: the fact that the sigh does not occur is not wrong. sent14: if the quietness occurs that the jihadiness occurs but the delegating does not occur is incorrect. sent15: if the apparition happens the jihadiness does not occur. sent16: if the confusing Synchytrium occurs then the confusing nu does not occur. sent17: if the repining translucence occurs that the timework does not occur is correct.
void -> assump2: Let's assume that the jihadiness happens.; assump2 & sent4 -> int1: the jihadiness but not the quietness occurs.; sent12 & int1 -> int2: the apparition occurs.; void -> assump1: Let's assume that the apparition does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the jihadiness does not occur.; [assump1] & int4 -> hypothesis;
the delegating occurs.
$hypothesis$ = the jihadiness does not occur if the apparition does not occur. ; $context$ = sent1: the revolving happens. sent2: the confusing dodderer does not occur. sent3: if the apparition does not occur then the fact that the jihadiness occurs is correct. sent4: the quietness does not occur. sent5: the remission brings about the non-erythroidness. sent6: the fact that the fronting illiterate occurs is not false. sent7: the Capetianness does not occur. sent8: the apparition and the quietness occurs if the enumeration does not occur. sent9: that the boxing happens is prevented by the non-paniculateness. sent10: the delegating occurs if that the jihadiness but not the delegating occurs is not true. sent11: the bioticness does not occur. sent12: the apparition is triggered by that both the jihadiness and the non-quietness occurs. sent13: the fact that the sigh does not occur is not wrong. sent14: if the quietness occurs that the jihadiness occurs but the delegating does not occur is incorrect. sent15: if the apparition happens the jihadiness does not occur. sent16: if the confusing Synchytrium occurs then the confusing nu does not occur. sent17: if the repining translucence occurs that the timework does not occur is correct. ; $proof$ = 
void -> assump2: Let's assume that the jihadiness happens.; assump2 & sent4 -> int1: the jihadiness but not the quietness occurs.; sent12 & int1 -> int2: the apparition occurs.; void -> assump1: Let's assume that the apparition does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the jihadiness does not occur.; [assump1] & int4 -> hypothesis; __PROVED__