the fact that there is something such that if it is not a kind of a somniloquy the fact that it does not cling and/or does not thirst rabbet is incorrect does not hold.
sent1: there exists something such that if it is not a kind of a somniloquy that that it is not a cling or it does thirst rabbet or both is not false does not hold. sent2: the fact that the grisaille is not a cling or it does not thirst rabbet or both is wrong if it is not a somniloquy. sent3: the grisaille clings if it is not a somniloquy. sent4: that the grisaille does not cling or it does thirst rabbet or both is not right if it is not a kind of a somniloquy. sent5: there is something such that if it is not a somniloquy then it thirsts rabbet.
sent2 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is not a kind of a somniloquy the fact that it does not cling and/or does not thirst rabbet is incorrect does not hold. ; $context$ = sent1: there exists something such that if it is not a kind of a somniloquy that that it is not a cling or it does thirst rabbet or both is not false does not hold. sent2: the fact that the grisaille is not a cling or it does not thirst rabbet or both is wrong if it is not a somniloquy. sent3: the grisaille clings if it is not a somniloquy. sent4: that the grisaille does not cling or it does thirst rabbet or both is not right if it is not a kind of a somniloquy. sent5: there is something such that if it is not a somniloquy then it thirsts rabbet. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__