the coup occurs.
sent1: if the subdividing yo-yo does not occur the spartanness and/or the subdividing hawala happens. sent2: if the assassination does not occur and the dunning syndicalism does not occur then the interpreting ballup does not occur. sent3: the enormity prevents that the interpreting rectangularity happens. sent4: if the jointness does not occur that both the subdividing yo-yo and the khanate occurs is incorrect. sent5: if the enormity does not occur the fact that the subdividing yo-yo does not occur but the spartanness happens is not correct. sent6: the coup occurs if the fact that the subdividing yo-yo does not occur but the spartanness occurs is false. sent7: if the fact that the mending and the approaching happens is not right then the mending does not occur. sent8: that the foremanship does not occur causes that both the diffusingness and the subdividing Argonaut occurs. sent9: if the fact that the subdividing yo-yo and the khanate happens is not right then the subdividing yo-yo does not occur. sent10: that the assassination does not occur and the dunning syndicalism does not occur is brought about by that the evasion happens. sent11: if the subdividing Pereskia happens then the interpreting rectangularity happens but the enormity does not occur. sent12: that the fact that both the mending and the approach occurs does not hold is not false if the trifurcation does not occur. sent13: that the interpreting ballup does not occur causes that the tetralogy happens but the foremanship does not occur. sent14: that the trifurcation does not occur is correct. sent15: that the mending does not occur leads to that the rhythm happens and the evasion happens. sent16: that the subdividing Argonaut happens leads to that the jointing does not occur and the particulate happens. sent17: that the subdividing hawala and the khanate occurs is not false.
void -> assump1: Let's assume that the enormity happens.; sent3 & assump1 -> int1: the interpreting rectangularity does not occur.; int1 -> int2: either the interpreting rectangularity does not occur or the subdividing Pereskia occurs or both.; sent17 -> int3: the subdividing hawala happens.;
the coup does not occur.
sent12 & sent14 -> int4: the fact that both the mending and the approaching happens does not hold.; sent7 & int4 -> int5: the mending does not occur.; sent15 & int5 -> int6: both the rhythm and the evasion occurs.; int6 -> int7: the evasion occurs.; sent10 & int7 -> int8: the assassination does not occur and the dunning syndicalism does not occur.; sent2 & int8 -> int9: the interpreting ballup does not occur.; sent13 & int9 -> int10: the tetralogy but not the foremanship occurs.; int10 -> int11: the foremanship does not occur.; sent8 & int11 -> int12: the diffusingness and the subdividing Argonaut occurs.; int12 -> int13: the subdividing Argonaut occurs.; sent16 & int13 -> int14: the non-jointness and the particulate occurs.; int14 -> int15: the joint does not occur.; sent4 & int15 -> int16: that that the subdividing yo-yo happens and the khanate occurs is false is not wrong.; sent9 & int16 -> int17: the subdividing yo-yo does not occur.; sent1 & int17 -> int18: either the spartanness or the subdividing hawala or both happens.;
$hypothesis$ = the coup occurs. ; $context$ = sent1: if the subdividing yo-yo does not occur the spartanness and/or the subdividing hawala happens. sent2: if the assassination does not occur and the dunning syndicalism does not occur then the interpreting ballup does not occur. sent3: the enormity prevents that the interpreting rectangularity happens. sent4: if the jointness does not occur that both the subdividing yo-yo and the khanate occurs is incorrect. sent5: if the enormity does not occur the fact that the subdividing yo-yo does not occur but the spartanness happens is not correct. sent6: the coup occurs if the fact that the subdividing yo-yo does not occur but the spartanness occurs is false. sent7: if the fact that the mending and the approaching happens is not right then the mending does not occur. sent8: that the foremanship does not occur causes that both the diffusingness and the subdividing Argonaut occurs. sent9: if the fact that the subdividing yo-yo and the khanate happens is not right then the subdividing yo-yo does not occur. sent10: that the assassination does not occur and the dunning syndicalism does not occur is brought about by that the evasion happens. sent11: if the subdividing Pereskia happens then the interpreting rectangularity happens but the enormity does not occur. sent12: that the fact that both the mending and the approach occurs does not hold is not false if the trifurcation does not occur. sent13: that the interpreting ballup does not occur causes that the tetralogy happens but the foremanship does not occur. sent14: that the trifurcation does not occur is correct. sent15: that the mending does not occur leads to that the rhythm happens and the evasion happens. sent16: that the subdividing Argonaut happens leads to that the jointing does not occur and the particulate happens. sent17: that the subdividing hawala and the khanate occurs is not false. ; $proof$ = 
void -> assump1: Let's assume that the enormity happens.; sent3 & assump1 -> int1: the interpreting rectangularity does not occur.; int1 -> int2: either the interpreting rectangularity does not occur or the subdividing Pereskia occurs or both.; sent17 -> int3: the subdividing hawala happens.; __UNKNOWN__