if the pantheist happens the continuation does not occur.
sent1: the continuation does not occur if the tattoo does not occur. sent2: the overpowering bluethroat does not occur. sent3: the fact that both the airworthyness and the overpowering Howe occurs is wrong. sent4: the fact that the barbing paperclip does not occur but the stampede happens does not hold. sent5: that the fact that the continuation happens is true if that the pantheist occurs is true is not incorrect. sent6: that the Lancastrian does not occur is triggered by that the oversight occurs. sent7: the arousing prude does not occur if the doddle happens. sent8: the continuation happens. sent9: the continuation happens if the fact that not the anestheticness but the tattooing occurs is wrong. sent10: that both the non-anestheticness and the tattoo happens is incorrect if the mobileness does not occur. sent11: the horse-drawnness occurs. sent12: the reluctance does not occur. sent13: if that both the non-anestheticness and the tattooing occurs is not right the continuation does not occur.
void -> assump1: Let's assume that the pantheist happens.; void -> assump2: Let's assume that the mobileness occurs.; sent2 & assump2 -> int1: the overpowering bluethroat does not occur and the mobile occurs.;
$hypothesis$ = if the pantheist happens the continuation does not occur. ; $context$ = sent1: the continuation does not occur if the tattoo does not occur. sent2: the overpowering bluethroat does not occur. sent3: the fact that both the airworthyness and the overpowering Howe occurs is wrong. sent4: the fact that the barbing paperclip does not occur but the stampede happens does not hold. sent5: that the fact that the continuation happens is true if that the pantheist occurs is true is not incorrect. sent6: that the Lancastrian does not occur is triggered by that the oversight occurs. sent7: the arousing prude does not occur if the doddle happens. sent8: the continuation happens. sent9: the continuation happens if the fact that not the anestheticness but the tattooing occurs is wrong. sent10: that both the non-anestheticness and the tattoo happens is incorrect if the mobileness does not occur. sent11: the horse-drawnness occurs. sent12: the reluctance does not occur. sent13: if that both the non-anestheticness and the tattooing occurs is not right the continuation does not occur. ; $proof$ = 
void -> assump1: Let's assume that the pantheist happens.; void -> assump2: Let's assume that the mobileness occurs.; sent2 & assump2 -> int1: the overpowering bluethroat does not occur and the mobile occurs.; __UNKNOWN__