the bowing worn does not occur.
sent1: the bowing worn does not occur if the influence occurs. sent2: the confining happens and the identifying happens. sent3: if the identifying does not occur both the bowing worn and the confining occurs. sent4: if the falling does not occur then the landfall happens and the literalness occurs. sent5: the landfall and/or that the falling does not occur triggers that the influence occurs. sent6: the falling does not occur if the influence does not occur and the decrease does not occur. sent7: that the identifying does not occur yields that the counterinsurgentness happens and the confining occurs. sent8: if the upgrading Aristotle and the Zephyr occurs then the ambulatoriness does not occur. sent9: the confining happens. sent10: if the illogicalness does not occur then both the upgrading Aristotle and the Zephyr happens. sent11: if the falls does not occur then the identifying does not occur and the landfall does not occur. sent12: that the landfall happens is true if the identifying happens. sent13: if the ambulatory does not occur the influence does not occur and the decreasing does not occur.
sent2 -> int1: the identifying happens.; sent12 & int1 -> int2: the landfall occurs.; int2 -> int3: the landfall happens or the falling does not occur or both.; sent5 & int3 -> int4: the influencing happens.; sent1 & int4 -> hypothesis;
the counterinsurgentness and the literalness happens.
$hypothesis$ = the bowing worn does not occur. ; $context$ = sent1: the bowing worn does not occur if the influence occurs. sent2: the confining happens and the identifying happens. sent3: if the identifying does not occur both the bowing worn and the confining occurs. sent4: if the falling does not occur then the landfall happens and the literalness occurs. sent5: the landfall and/or that the falling does not occur triggers that the influence occurs. sent6: the falling does not occur if the influence does not occur and the decrease does not occur. sent7: that the identifying does not occur yields that the counterinsurgentness happens and the confining occurs. sent8: if the upgrading Aristotle and the Zephyr occurs then the ambulatoriness does not occur. sent9: the confining happens. sent10: if the illogicalness does not occur then both the upgrading Aristotle and the Zephyr happens. sent11: if the falls does not occur then the identifying does not occur and the landfall does not occur. sent12: that the landfall happens is true if the identifying happens. sent13: if the ambulatory does not occur the influence does not occur and the decreasing does not occur. ; $proof$ = 
sent2 -> int1: the identifying happens.; sent12 & int1 -> int2: the landfall occurs.; int2 -> int3: the landfall happens or the falling does not occur or both.; sent5 & int3 -> int4: the influencing happens.; sent1 & int4 -> hypothesis; __PROVED__