if the jihad happens the dancing does not occur and the ticktock does not occur.
sent1: the chaetalness happens. sent2: the journey happens. sent3: the unfruitfulness does not occur if the fact that the bedlessness does not occur and the noness does not occur is false. sent4: the anguineness occurs. sent5: the fact that the blooming does not occur and the looting ephedrine does not occur is false. sent6: the anguineness occurs and the peonage occurs if the jihad does not occur. sent7: the ticktock happens if the fact that the looting ephedrine occurs hold. sent8: that the anguineness occurs and/or the jihad happens prevents the ticktock. sent9: the compaction does not occur and the counter-sabotage does not occur. sent10: the hermeneuticness does not occur. sent11: if the looting ephedrine occurs then the dancing does not occur. sent12: the non-triumphalness and the non-metallurgicalness happens. sent13: the populating ageratum does not occur if that that the nepotism does not occur and the riding does not occur is true is incorrect. sent14: if that the blooming does not occur and the looting ephedrine does not occur is incorrect then the dancing does not occur. sent15: if the transeuntness does not occur then both the bloom and the looting ephedrine happens. sent16: the fact that not the blooming but the looting ephedrine happens does not hold.
void -> assump1: Let's assume that the jihad occurs.; assump1 -> int1: the anguineness occurs and/or the jihad occurs.; int1 & sent8 -> int2: the ticktock does not occur.; sent14 & sent5 -> int3: the fact that the dancing does not occur is true.; int2 & int3 -> int4: the dancing does not occur and the ticktock does not occur.; [assump1] & int4 -> hypothesis;
the fact that the peonage happens hold.
$hypothesis$ = if the jihad happens the dancing does not occur and the ticktock does not occur. ; $context$ = sent1: the chaetalness happens. sent2: the journey happens. sent3: the unfruitfulness does not occur if the fact that the bedlessness does not occur and the noness does not occur is false. sent4: the anguineness occurs. sent5: the fact that the blooming does not occur and the looting ephedrine does not occur is false. sent6: the anguineness occurs and the peonage occurs if the jihad does not occur. sent7: the ticktock happens if the fact that the looting ephedrine occurs hold. sent8: that the anguineness occurs and/or the jihad happens prevents the ticktock. sent9: the compaction does not occur and the counter-sabotage does not occur. sent10: the hermeneuticness does not occur. sent11: if the looting ephedrine occurs then the dancing does not occur. sent12: the non-triumphalness and the non-metallurgicalness happens. sent13: the populating ageratum does not occur if that that the nepotism does not occur and the riding does not occur is true is incorrect. sent14: if that the blooming does not occur and the looting ephedrine does not occur is incorrect then the dancing does not occur. sent15: if the transeuntness does not occur then both the bloom and the looting ephedrine happens. sent16: the fact that not the blooming but the looting ephedrine happens does not hold. ; $proof$ = 
void -> assump1: Let's assume that the jihad occurs.; assump1 -> int1: the anguineness occurs and/or the jihad occurs.; int1 & sent8 -> int2: the ticktock does not occur.; sent14 & sent5 -> int3: the fact that the dancing does not occur is true.; int2 & int3 -> int4: the dancing does not occur and the ticktock does not occur.; [assump1] & int4 -> hypothesis; __PROVED__