the circumscription does not occur and the dangerousness does not occur.
sent1: the acupressure occurs. sent2: that the acupressure occurs and the batting does not occur brings about that the derring-do does not occur. sent3: either that the antagonism does not occur or that the beginning does not occur or both is brought about by that the derring-do does not occur. sent4: that the antagonism does not occur or the beginning does not occur or both is wrong. sent5: that the derring-do does not occur leads to that the antagonism occurs and/or that the beginning does not occur. sent6: that the scouting happens is caused by that the eremiticness occurs. sent7: the antagonism happens and/or the beginning does not occur. sent8: that the antagonism does not occur and/or the beginning happens is brought about by that the derring-do does not occur. sent9: if the scouting does not occur the fact that the ban happens is true. sent10: the antagonism does not occur and/or the beginning happens. sent11: if that the acupressure but not the bat occurs is wrong then the scouting does not occur. sent12: the occidentalizing stricken does not occur. sent13: the dangerousness does not occur. sent14: if the acupressure does not occur then the scouting does not occur. sent15: if the ban happens then the circumscription does not occur.
void -> assump1: Let's assume that the acupressure occurs and the batting does not occur.; sent2 & assump1 -> int1: the derring-do does not occur.; int1 & sent3 -> int2: the antagonism does not occur and/or the beginning does not occur.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the acupressure but not the bat occurs is wrong.; int4 & sent11 -> int5: the scouting does not occur.; int5 & sent9 -> int6: the ban occurs.; int6 & sent15 -> int7: the circumscription does not occur.; int7 & sent13 -> hypothesis;
that the circumscription does not occur and the dangerousness does not occur does not hold.
$hypothesis$ = the circumscription does not occur and the dangerousness does not occur. ; $context$ = sent1: the acupressure occurs. sent2: that the acupressure occurs and the batting does not occur brings about that the derring-do does not occur. sent3: either that the antagonism does not occur or that the beginning does not occur or both is brought about by that the derring-do does not occur. sent4: that the antagonism does not occur or the beginning does not occur or both is wrong. sent5: that the derring-do does not occur leads to that the antagonism occurs and/or that the beginning does not occur. sent6: that the scouting happens is caused by that the eremiticness occurs. sent7: the antagonism happens and/or the beginning does not occur. sent8: that the antagonism does not occur and/or the beginning happens is brought about by that the derring-do does not occur. sent9: if the scouting does not occur the fact that the ban happens is true. sent10: the antagonism does not occur and/or the beginning happens. sent11: if that the acupressure but not the bat occurs is wrong then the scouting does not occur. sent12: the occidentalizing stricken does not occur. sent13: the dangerousness does not occur. sent14: if the acupressure does not occur then the scouting does not occur. sent15: if the ban happens then the circumscription does not occur. ; $proof$ = 
void -> assump1: Let's assume that the acupressure occurs and the batting does not occur.; sent2 & assump1 -> int1: the derring-do does not occur.; int1 & sent3 -> int2: the antagonism does not occur and/or the beginning does not occur.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the acupressure but not the bat occurs is wrong.; int4 & sent11 -> int5: the scouting does not occur.; int5 & sent9 -> int6: the ban occurs.; int6 & sent15 -> int7: the circumscription does not occur.; int7 & sent13 -> hypothesis; __PROVED__