the fact that the hearing patching does not occur if the upheaving happens is not right.
sent1: the invasion and the fracture occurs. sent2: the responsiveness occurs if the inalienableness occurs. sent3: if the responsiveness happens and the upheaving occurs the hearing patching occurs. sent4: the misbehavior happens. sent5: the Libyanness occurs. sent6: the paging bromide happens. sent7: if the misbehavior does not occur then both the endoscopy and the inalienableness occurs. sent8: the hearing patching happens. sent9: both the inalienableness and the misbehavior occurs. sent10: that the pirouette does not occur is prevented by the tagging. sent11: that both the responsiveness and the upheaving occurs yields that the hearing patching does not occur. sent12: if the upheaving occurs then that the hearing patching occurs is true. sent13: that the mesh does not occur is triggered by that the notching does not occur. sent14: if the estrousness does not occur then the notching does not occur. sent15: if the aposiopeticness happens that not the hearing patching but the mull occurs is not correct. sent16: if the upheaving does not occur that not the responsiveness but the misbehavior occurs does not hold. sent17: the aposiopeticness happens and the overrefining sander occurs if the meshing does not occur. sent18: the congratulating cavalryman happens. sent19: the suppling does not occur. sent20: the rating occurs and the overrefining depository occurs.
sent9 -> int1: the inalienableness occurs.; sent2 & int1 -> int2: that the responsiveness occurs is correct.; void -> assump1: Let's assume that the upheaving occurs.; int2 & assump1 -> int3: the responsiveness happens and the upheaving happens.; sent11 & int3 -> int4: that the hearing patching does not occur is not incorrect.; [assump1] & int4 -> hypothesis;
the endoscopy occurs.
$hypothesis$ = the fact that the hearing patching does not occur if the upheaving happens is not right. ; $context$ = sent1: the invasion and the fracture occurs. sent2: the responsiveness occurs if the inalienableness occurs. sent3: if the responsiveness happens and the upheaving occurs the hearing patching occurs. sent4: the misbehavior happens. sent5: the Libyanness occurs. sent6: the paging bromide happens. sent7: if the misbehavior does not occur then both the endoscopy and the inalienableness occurs. sent8: the hearing patching happens. sent9: both the inalienableness and the misbehavior occurs. sent10: that the pirouette does not occur is prevented by the tagging. sent11: that both the responsiveness and the upheaving occurs yields that the hearing patching does not occur. sent12: if the upheaving occurs then that the hearing patching occurs is true. sent13: that the mesh does not occur is triggered by that the notching does not occur. sent14: if the estrousness does not occur then the notching does not occur. sent15: if the aposiopeticness happens that not the hearing patching but the mull occurs is not correct. sent16: if the upheaving does not occur that not the responsiveness but the misbehavior occurs does not hold. sent17: the aposiopeticness happens and the overrefining sander occurs if the meshing does not occur. sent18: the congratulating cavalryman happens. sent19: the suppling does not occur. sent20: the rating occurs and the overrefining depository occurs. ; $proof$ = 
sent9 -> int1: the inalienableness occurs.; sent2 & int1 -> int2: that the responsiveness occurs is correct.; void -> assump1: Let's assume that the upheaving occurs.; int2 & assump1 -> int3: the responsiveness happens and the upheaving happens.; sent11 & int3 -> int4: that the hearing patching does not occur is not incorrect.; [assump1] & int4 -> hypothesis; __DISPROVED__