there is something such that it is a kind of vicinal thing that is not a Dagestani.
sent1: the fact that the phosphorus is both a climacteric and not a spatula is not correct if it is not vulpine. sent2: the fact that the phosphorus is vulpine but it is not a climacteric does not hold. sent3: the gin is not a Dagestani. sent4: there is something such that the fact that it is a kind of a greave and it does not branch sou is wrong. sent5: there is something such that it is a spatula. sent6: if there exists something such that it is not a spatula the phosphorus is not whiting. sent7: the phosphorus does not branch sou if that it is not vulpine and not a climacteric is incorrect. sent8: the phosphorus is not vulpine if the fact that the brant is a kind of non-vulpine thing that is vicinal does not hold. sent9: the gin is both vicinal and not a Dagestani if it is a spatula. sent10: the gin is a kind of a climacteric if there is something such that the fact that it is a spatula and it is not a kind of a climacteric does not hold. sent11: the phosphorus does branch sou if there exists something such that the fact that it is a greave and does not branch sou does not hold. sent12: the fact that the phosphorus is both not vulpine and a climacteric is not correct. sent13: that something is non-vulpine thing that is not a climacteric does not hold if it is not a kind of a whiting.
void -> assump1: Let's assume that the gin is not a spatula.; assump1 -> int1: there is something such that it is not a kind of a spatula.; int1 & sent6 -> int2: the phosphorus is not whiting.; sent13 -> int3: if the phosphorus is not a whiting then the fact that it is both not vulpine and not a climacteric is not correct.; int2 & int3 -> int4: the fact that the phosphorus is not vulpine and it is not a kind of a climacteric is not right.; int4 & sent7 -> int5: the phosphorus does not branch sou.; sent4 & sent11 -> int6: the phosphorus branches sou.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the gin is a spatula.; int8 & sent9 -> int9: the gin is vicinal thing that is not a kind of a Dagestani.; int9 -> hypothesis;
the bur is not a whiting.
$hypothesis$ = there is something such that it is a kind of vicinal thing that is not a Dagestani. ; $context$ = sent1: the fact that the phosphorus is both a climacteric and not a spatula is not correct if it is not vulpine. sent2: the fact that the phosphorus is vulpine but it is not a climacteric does not hold. sent3: the gin is not a Dagestani. sent4: there is something such that the fact that it is a kind of a greave and it does not branch sou is wrong. sent5: there is something such that it is a spatula. sent6: if there exists something such that it is not a spatula the phosphorus is not whiting. sent7: the phosphorus does not branch sou if that it is not vulpine and not a climacteric is incorrect. sent8: the phosphorus is not vulpine if the fact that the brant is a kind of non-vulpine thing that is vicinal does not hold. sent9: the gin is both vicinal and not a Dagestani if it is a spatula. sent10: the gin is a kind of a climacteric if there is something such that the fact that it is a spatula and it is not a kind of a climacteric does not hold. sent11: the phosphorus does branch sou if there exists something such that the fact that it is a greave and does not branch sou does not hold. sent12: the fact that the phosphorus is both not vulpine and a climacteric is not correct. sent13: that something is non-vulpine thing that is not a climacteric does not hold if it is not a kind of a whiting. ; $proof$ = 
void -> assump1: Let's assume that the gin is not a spatula.; assump1 -> int1: there is something such that it is not a kind of a spatula.; int1 & sent6 -> int2: the phosphorus is not whiting.; sent13 -> int3: if the phosphorus is not a whiting then the fact that it is both not vulpine and not a climacteric is not correct.; int2 & int3 -> int4: the fact that the phosphorus is not vulpine and it is not a kind of a climacteric is not right.; int4 & sent7 -> int5: the phosphorus does not branch sou.; sent4 & sent11 -> int6: the phosphorus branches sou.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the gin is a spatula.; int8 & sent9 -> int9: the gin is vicinal thing that is not a kind of a Dagestani.; int9 -> hypothesis; __PROVED__