the banking brook does not occur and the southeaster does not occur.
sent1: the monitoring happens. sent2: the suggesting nucleus does not occur and the perseverating resuspension does not occur if that the whiplash does not occur hold. sent3: the fact that the southeaster does not occur is true if the burping happens. sent4: if that the uninjectableness happens and the one-and-one occurs is wrong the one-and-one does not occur. sent5: the fact that both the uninjectableness and the one-and-one happens is not right if the suggesting nucleus does not occur. sent6: the impeding reality does not occur. sent7: if the titularness but not the suggesting floorboard happens then the superfecundation does not occur. sent8: the superfecundation occurs and the monitoring occurs. sent9: that the monitoring occurs and/or that the impeding reality happens is caused by that the sidingness does not occur. sent10: the fact that the burping does not occur and the ninjutsu does not occur does not hold if the impeding reality does not occur. sent11: if the fact that the burping does not occur and the ninjutsu does not occur is not right then the southeaster does not occur. sent12: not the pressing but the on-lineness occurs if the impeding heterosexual occurs. sent13: that the sidingness but not the perseverating ignobleness happens is not true if the comedown occurs. sent14: the titularness occurs. sent15: if the pressing does not occur that the fact that the whiplash and the suggesting regimentation occurs is right is not right. sent16: the fact that the banking brook does not occur is right if the fact that the titularness happens but the suggesting floorboard does not occur does not hold. sent17: the comedown happens and the security happens if the one-and-one does not occur. sent18: the ninjutsu occurs if the fact that the fact that the burping does not occur hold is not correct. sent19: the siding does not occur if that the siding occurs and the perseverating ignobleness does not occur is false. sent20: the fact that the psycholinguisticness occurs and the sneezing does not occur does not hold if the banking brook happens. sent21: the fact that the burping occurs and the ninjutsu does not occur is not correct. sent22: the banking brook does not occur if the titularness does not occur. sent23: that not the suggesting Argentinian but the congenialness occurs is not right. sent24: if the impeding reality does not occur that the burping happens but the ninjutsu does not occur is false. sent25: if that the whiplash and the suggesting regimentation occurs is false the whiplash does not occur. sent26: the impeding heterosexual happens.
void -> assump1: Let's assume that the titularness happens but the suggesting floorboard does not occur.; sent7 & assump1 -> int1: the superfecundation does not occur.; sent8 -> int2: the superfecundation occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the titularness but not the suggesting floorboard happens is wrong.; int4 & sent16 -> int5: the banking brook does not occur.; sent10 & sent6 -> int6: that the burping does not occur and the ninjutsu does not occur is not correct.; sent11 & int6 -> int7: the southeaster does not occur.; int5 & int7 -> hypothesis;
that the banking brook does not occur and the southeaster does not occur is wrong.
 -> hypothesis;
$hypothesis$ = the banking brook does not occur and the southeaster does not occur. ; $context$ = sent1: the monitoring happens. sent2: the suggesting nucleus does not occur and the perseverating resuspension does not occur if that the whiplash does not occur hold. sent3: the fact that the southeaster does not occur is true if the burping happens. sent4: if that the uninjectableness happens and the one-and-one occurs is wrong the one-and-one does not occur. sent5: the fact that both the uninjectableness and the one-and-one happens is not right if the suggesting nucleus does not occur. sent6: the impeding reality does not occur. sent7: if the titularness but not the suggesting floorboard happens then the superfecundation does not occur. sent8: the superfecundation occurs and the monitoring occurs. sent9: that the monitoring occurs and/or that the impeding reality happens is caused by that the sidingness does not occur. sent10: the fact that the burping does not occur and the ninjutsu does not occur does not hold if the impeding reality does not occur. sent11: if the fact that the burping does not occur and the ninjutsu does not occur is not right then the southeaster does not occur. sent12: not the pressing but the on-lineness occurs if the impeding heterosexual occurs. sent13: that the sidingness but not the perseverating ignobleness happens is not true if the comedown occurs. sent14: the titularness occurs. sent15: if the pressing does not occur that the fact that the whiplash and the suggesting regimentation occurs is right is not right. sent16: the fact that the banking brook does not occur is right if the fact that the titularness happens but the suggesting floorboard does not occur does not hold. sent17: the comedown happens and the security happens if the one-and-one does not occur. sent18: the ninjutsu occurs if the fact that the fact that the burping does not occur hold is not correct. sent19: the siding does not occur if that the siding occurs and the perseverating ignobleness does not occur is false. sent20: the fact that the psycholinguisticness occurs and the sneezing does not occur does not hold if the banking brook happens. sent21: the fact that the burping occurs and the ninjutsu does not occur is not correct. sent22: the banking brook does not occur if the titularness does not occur. sent23: that not the suggesting Argentinian but the congenialness occurs is not right. sent24: if the impeding reality does not occur that the burping happens but the ninjutsu does not occur is false. sent25: if that the whiplash and the suggesting regimentation occurs is false the whiplash does not occur. sent26: the impeding heterosexual happens. ; $proof$ = 
void -> assump1: Let's assume that the titularness happens but the suggesting floorboard does not occur.; sent7 & assump1 -> int1: the superfecundation does not occur.; sent8 -> int2: the superfecundation occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the titularness but not the suggesting floorboard happens is wrong.; int4 & sent16 -> int5: the banking brook does not occur.; sent10 & sent6 -> int6: that the burping does not occur and the ninjutsu does not occur is not correct.; sent11 & int6 -> int7: the southeaster does not occur.; int5 & int7 -> hypothesis; __PROVED__