the chokedamp does not assume timber.
sent1: if there is something such that the fact that it is a hinge and it does not cork is not right then the chokedamp testifies Borneo. sent2: the chokedamp is Romance. sent3: if the chokedamp testifies Borneo and assumes timber then it does not assume humanities. sent4: if something is not a cryptanalyst and does testify Borneo then it is a whirl. sent5: if something is not a whirl and is a kind of a cryptanalyst it does assume humanities. sent6: the chokedamp is not a whirl but it is a kind of a cryptanalyst if it is a Romance. sent7: there are non-carboniferous things. sent8: the chokedamp testifies Borneo if there exists something such that it is a cork. sent9: the humanities does not whirl. sent10: if something is not a cryptanalyst then it does testify Borneo and it does assume humanities. sent11: if something is not a marum but it is a riposte then it does whirl. sent12: there exists something such that that it is a kind of a hinge that is not a cork is false. sent13: the chokedamp does spend immortality. sent14: the chokedamp is inconclusive if it is a kind of a Romance. sent15: if the fact that something is not carboniferous hold the fact that the crossover is a kind of a Romance and does whirl is wrong.
sent12 & sent1 -> int1: the chokedamp testifies Borneo.; void -> assump1: Let's assume that the chokedamp assumes timber.; int1 & assump1 -> int2: the chokedamp does testify Borneo and it assumes timber.; int2 & sent3 -> int3: the chokedamp does not assume humanities.; sent5 -> int4: the chokedamp assumes humanities if it does not whirl and is a kind of a cryptanalyst.; sent6 & sent2 -> int5: the chokedamp is not a kind of a whirl but it is a cryptanalyst.; int4 & int5 -> int6: the chokedamp assumes humanities.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the chokedamp does assume timber.
sent10 -> int8: if that the crossover is not a cryptanalyst is not false it does testify Borneo and it assumes humanities.; sent7 & sent15 -> int9: the fact that that the crossover is a kind of a Romance and it is a whirl does not hold is not wrong.;
$hypothesis$ = the chokedamp does not assume timber. ; $context$ = sent1: if there is something such that the fact that it is a hinge and it does not cork is not right then the chokedamp testifies Borneo. sent2: the chokedamp is Romance. sent3: if the chokedamp testifies Borneo and assumes timber then it does not assume humanities. sent4: if something is not a cryptanalyst and does testify Borneo then it is a whirl. sent5: if something is not a whirl and is a kind of a cryptanalyst it does assume humanities. sent6: the chokedamp is not a whirl but it is a kind of a cryptanalyst if it is a Romance. sent7: there are non-carboniferous things. sent8: the chokedamp testifies Borneo if there exists something such that it is a cork. sent9: the humanities does not whirl. sent10: if something is not a cryptanalyst then it does testify Borneo and it does assume humanities. sent11: if something is not a marum but it is a riposte then it does whirl. sent12: there exists something such that that it is a kind of a hinge that is not a cork is false. sent13: the chokedamp does spend immortality. sent14: the chokedamp is inconclusive if it is a kind of a Romance. sent15: if the fact that something is not carboniferous hold the fact that the crossover is a kind of a Romance and does whirl is wrong. ; $proof$ = 
sent12 & sent1 -> int1: the chokedamp testifies Borneo.; void -> assump1: Let's assume that the chokedamp assumes timber.; int1 & assump1 -> int2: the chokedamp does testify Borneo and it assumes timber.; int2 & sent3 -> int3: the chokedamp does not assume humanities.; sent5 -> int4: the chokedamp assumes humanities if it does not whirl and is a kind of a cryptanalyst.; sent6 & sent2 -> int5: the chokedamp is not a kind of a whirl but it is a cryptanalyst.; int4 & int5 -> int6: the chokedamp assumes humanities.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__