that the transuranicness and the arthroplasty occurs is not correct.
sent1: if the fact that the acneiformness but not the dogmatizing salmonid occurs is wrong then the fact that the invisibleness does not occur is correct. sent2: that the acneiformness and the dogmatizing salmonid happens triggers that the trafficking briarwood does not occur. sent3: if that the gelling does not occur hold then that both the transuranicness and the arthroplasty happens is not true. sent4: the facultativeness happens if that the fact that the non-facultativeness and the safety happens is not right is not wrong. sent5: the secretoriness happens if the invisibleness does not occur. sent6: if the fact that both the determining Ascaridae and the non-unsavoriness occurs is not right the vengeance does not occur. sent7: the facultativeness does not occur if the secretoriness and the non-inconsistentness happens. sent8: the fact that the trafficking briarwood occurs is not incorrect if the fact that the safety occurs is not wrong. sent9: if the dogmatizing salmonid happens the invisibleness does not occur. sent10: if the invisibleness does not occur the secretoriness but not the inconsistentness occurs. sent11: if the invisibleness happens then that the trafficking briarwood does not occur and the arthroplasty does not occur is incorrect. sent12: the safety occurs. sent13: the trafficking Monsieur happens and the determining dissilience does not occur. sent14: the fact that if the facultativeness does not occur the fact that the gelling does not occur is correct hold. sent15: the transuranicness occurs if the inconsistentness does not occur. sent16: if the acneiformness happens and the dogmatizing salmonid does not occur the trafficking briarwood does not occur.
void -> assump1: Let's assume that the acneiformness but not the dogmatizing salmonid occurs.; sent16 & assump1 -> int1: the trafficking briarwood does not occur.; sent8 & sent12 -> int2: the fact that the trafficking briarwood happens hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the acneiformness happens but the dogmatizing salmonid does not occur is not true.; int4 & sent1 -> int5: the invisibleness does not occur.; int5 & sent10 -> int6: both the secretoriness and the non-inconsistentness happens.; int6 & sent7 -> int7: the facultativeness does not occur.; int7 & sent14 -> int8: the gelling does not occur.; int8 & sent3 -> hypothesis;
the transuranicness happens and the arthroplasty happens.
$hypothesis$ = that the transuranicness and the arthroplasty occurs is not correct. ; $context$ = sent1: if the fact that the acneiformness but not the dogmatizing salmonid occurs is wrong then the fact that the invisibleness does not occur is correct. sent2: that the acneiformness and the dogmatizing salmonid happens triggers that the trafficking briarwood does not occur. sent3: if that the gelling does not occur hold then that both the transuranicness and the arthroplasty happens is not true. sent4: the facultativeness happens if that the fact that the non-facultativeness and the safety happens is not right is not wrong. sent5: the secretoriness happens if the invisibleness does not occur. sent6: if the fact that both the determining Ascaridae and the non-unsavoriness occurs is not right the vengeance does not occur. sent7: the facultativeness does not occur if the secretoriness and the non-inconsistentness happens. sent8: the fact that the trafficking briarwood occurs is not incorrect if the fact that the safety occurs is not wrong. sent9: if the dogmatizing salmonid happens the invisibleness does not occur. sent10: if the invisibleness does not occur the secretoriness but not the inconsistentness occurs. sent11: if the invisibleness happens then that the trafficking briarwood does not occur and the arthroplasty does not occur is incorrect. sent12: the safety occurs. sent13: the trafficking Monsieur happens and the determining dissilience does not occur. sent14: the fact that if the facultativeness does not occur the fact that the gelling does not occur is correct hold. sent15: the transuranicness occurs if the inconsistentness does not occur. sent16: if the acneiformness happens and the dogmatizing salmonid does not occur the trafficking briarwood does not occur. ; $proof$ = 
void -> assump1: Let's assume that the acneiformness but not the dogmatizing salmonid occurs.; sent16 & assump1 -> int1: the trafficking briarwood does not occur.; sent8 & sent12 -> int2: the fact that the trafficking briarwood happens hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the acneiformness happens but the dogmatizing salmonid does not occur is not true.; int4 & sent1 -> int5: the invisibleness does not occur.; int5 & sent10 -> int6: both the secretoriness and the non-inconsistentness happens.; int6 & sent7 -> int7: the facultativeness does not occur.; int7 & sent14 -> int8: the gelling does not occur.; int8 & sent3 -> hypothesis; __PROVED__