the vesiculation is not profitable.
sent1: if the fact that something does not camber evocation hold then it rotates scientist. sent2: there is something such that it does defect and it is not a sheepherder. sent3: if something rotates scientist then that it is not profitable is true. sent4: something does camber studiousness if it is not a strand. sent5: something does not rotate overindulgence if it cambers vesiculation. sent6: there exists something such that it defects.
sent1 -> int1: the vesiculation rotates scientist if it does not camber evocation.; sent3 -> int2: if the vesiculation does rotate scientist it is not profitable.;
$hypothesis$ = the vesiculation is not profitable. ; $context$ = sent1: if the fact that something does not camber evocation hold then it rotates scientist. sent2: there is something such that it does defect and it is not a sheepherder. sent3: if something rotates scientist then that it is not profitable is true. sent4: something does camber studiousness if it is not a strand. sent5: something does not rotate overindulgence if it cambers vesiculation. sent6: there exists something such that it defects. ; $proof$ = 
sent1 -> int1: the vesiculation rotates scientist if it does not camber evocation.; sent3 -> int2: if the vesiculation does rotate scientist it is not profitable.; __UNKNOWN__