the scale is voluble.
sent1: if something is not a kind of a Cakchiquel then it is both voluble and zoonotic. sent2: that the scale is not a cruise and it is not a verbiage does not hold if there is something such that it is not arborical. sent3: if the commune is not zoonotic it is a kind of a cruise that is a verbiage. sent4: if that something is a kind of a Cakchiquel and it does sentimentalise scale is incorrect then it is not a kind of a Cakchiquel. sent5: the fact that the scale is not a kind of a soapwort and it is not a verbiage is not right. sent6: if the scale is not arborical that the miniaturist is not a adobo and it does not cruise does not hold. sent7: if the fact that something does not cruise and it is not a kind of a verbiage is not true then it is voluble. sent8: that the scale is a kind of a cruise that is not a kind of a verbiage does not hold. sent9: if something does cruise it is not voluble but arborical. sent10: the sleeper is voluble. sent11: if the fact that either the commune is not a verbiage or it is arborical or both does not hold the scale is not arborical. sent12: there is something such that it is not arborical. sent13: if the commune is not voluble and is arborical then the scale is not voluble.
sent12 & sent2 -> int1: the fact that that the scale is not a cruise and it is not a kind of a verbiage is not right is correct.; sent7 -> int2: the scale is voluble if that it does not cruise and it is not a verbiage is not right.; int1 & int2 -> hypothesis;
the scale is not voluble.
sent9 -> int3: the commune is not voluble but it is arborical if it is a kind of a cruise.;
$hypothesis$ = the scale is voluble. ; $context$ = sent1: if something is not a kind of a Cakchiquel then it is both voluble and zoonotic. sent2: that the scale is not a cruise and it is not a verbiage does not hold if there is something such that it is not arborical. sent3: if the commune is not zoonotic it is a kind of a cruise that is a verbiage. sent4: if that something is a kind of a Cakchiquel and it does sentimentalise scale is incorrect then it is not a kind of a Cakchiquel. sent5: the fact that the scale is not a kind of a soapwort and it is not a verbiage is not right. sent6: if the scale is not arborical that the miniaturist is not a adobo and it does not cruise does not hold. sent7: if the fact that something does not cruise and it is not a kind of a verbiage is not true then it is voluble. sent8: that the scale is a kind of a cruise that is not a kind of a verbiage does not hold. sent9: if something does cruise it is not voluble but arborical. sent10: the sleeper is voluble. sent11: if the fact that either the commune is not a verbiage or it is arborical or both does not hold the scale is not arborical. sent12: there is something such that it is not arborical. sent13: if the commune is not voluble and is arborical then the scale is not voluble. ; $proof$ = 
sent12 & sent2 -> int1: the fact that that the scale is not a cruise and it is not a kind of a verbiage is not right is correct.; sent7 -> int2: the scale is voluble if that it does not cruise and it is not a verbiage is not right.; int1 & int2 -> hypothesis; __PROVED__