if the commentating does not occur that the airs does not occur and the sheltering boatmanship happens does not hold.
sent1: the splenectomy does not occur. sent2: the non-littleness and the distinguishing imam occurs. sent3: the strikeout occurs. sent4: if not the airs but the sheltering boatmanship happens then the mustering does not occur. sent5: if the splenectomy does not occur then the Marathon occurs and the Andorranness occurs. sent6: that not the airs but the sheltering boatmanship happens is brought about by that the commentating does not occur. sent7: the fact that the venography does not occur hold if the fact that that the mustering but not the commentating occurs is incorrect is not false. sent8: if not the confrontationalness but the distinguishing have happens the hating does not occur. sent9: the adaptation and the Marathon occurs. sent10: if the commentating happens that the airs does not occur and the sheltering boatmanship happens does not hold. sent11: the fact that the wiring beagling does not occur hold. sent12: that the commentating happens but the muster does not occur is incorrect. sent13: the sheltering boatmanship occurs. sent14: the Marathon happens. sent15: the fact that the airs occurs and the sheltering boatmanship occurs is incorrect if the commentating does not occur. sent16: that the commentating does not occur and the mustering does not occur is not correct if the adaptation occurs. sent17: not the wiring beagling but the wiring peace happens. sent18: the networking does not occur and the distinguishing Lagarostrobus does not occur. sent19: the fact that the commentating but not the mustering happens is wrong if the adaptation occurs.
void -> assump2: Let's assume that the airing does not occur and the sheltering boatmanship occurs.; sent4 & assump2 -> int1: the fact that the muster does not occur is not wrong.; void -> assump1: Let's assume that the commentating does not occur.; int1 & assump1 -> int2: the commentating does not occur and the mustering does not occur.; sent9 -> int3: that the adaptation occurs is correct.; sent16 & int3 -> int4: that the commentating does not occur and the muster does not occur is incorrect.; int2 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: that not the airing but the sheltering boatmanship occurs is not correct.; [assump1] & int6 -> hypothesis;
the venography does not occur and the sheltering Adige does not occur.
sent5 & sent1 -> int7: the Marathon happens and the Andorran occurs.; int7 -> int8: the Marathon occurs.;
$hypothesis$ = if the commentating does not occur that the airs does not occur and the sheltering boatmanship happens does not hold. ; $context$ = sent1: the splenectomy does not occur. sent2: the non-littleness and the distinguishing imam occurs. sent3: the strikeout occurs. sent4: if not the airs but the sheltering boatmanship happens then the mustering does not occur. sent5: if the splenectomy does not occur then the Marathon occurs and the Andorranness occurs. sent6: that not the airs but the sheltering boatmanship happens is brought about by that the commentating does not occur. sent7: the fact that the venography does not occur hold if the fact that that the mustering but not the commentating occurs is incorrect is not false. sent8: if not the confrontationalness but the distinguishing have happens the hating does not occur. sent9: the adaptation and the Marathon occurs. sent10: if the commentating happens that the airs does not occur and the sheltering boatmanship happens does not hold. sent11: the fact that the wiring beagling does not occur hold. sent12: that the commentating happens but the muster does not occur is incorrect. sent13: the sheltering boatmanship occurs. sent14: the Marathon happens. sent15: the fact that the airs occurs and the sheltering boatmanship occurs is incorrect if the commentating does not occur. sent16: that the commentating does not occur and the mustering does not occur is not correct if the adaptation occurs. sent17: not the wiring beagling but the wiring peace happens. sent18: the networking does not occur and the distinguishing Lagarostrobus does not occur. sent19: the fact that the commentating but not the mustering happens is wrong if the adaptation occurs. ; $proof$ = 
void -> assump2: Let's assume that the airing does not occur and the sheltering boatmanship occurs.; sent4 & assump2 -> int1: the fact that the muster does not occur is not wrong.; void -> assump1: Let's assume that the commentating does not occur.; int1 & assump1 -> int2: the commentating does not occur and the mustering does not occur.; sent9 -> int3: that the adaptation occurs is correct.; sent16 & int3 -> int4: that the commentating does not occur and the muster does not occur is incorrect.; int2 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: that not the airing but the sheltering boatmanship occurs is not correct.; [assump1] & int6 -> hypothesis; __PROVED__