the testudo does not award Cherokee.
sent1: the fact that the testudo does not award Cherokee hold if there is something such that that it does elapse and does not lard is incorrect. sent2: The trinketry factorizes rosefish. sent3: the bigarade is not docile if that it is a positive that is not utopian does not hold. sent4: if the bigarade is not docile that it does elapse and is not a lard is false. sent5: the rosefish factorizes trinketry. sent6: the fact that the bigarade is a positive but it is not utopian does not hold if the rosefish does factorize trinketry.
sent6 & sent5 -> int1: the fact that the bigarade is positive but it is not utopian is not right.; int1 & sent3 -> int2: the bigarade is not docile.; int2 & sent4 -> int3: that the bigarade elapses but it does not lard is not right.; int3 -> int4: there is something such that that it does elapse and is not a lard does not hold.; int4 & sent1 -> hypothesis;
$hypothesis$ = the testudo does not award Cherokee. ; $context$ = sent1: the fact that the testudo does not award Cherokee hold if there is something such that that it does elapse and does not lard is incorrect. sent2: The trinketry factorizes rosefish. sent3: the bigarade is not docile if that it is a positive that is not utopian does not hold. sent4: if the bigarade is not docile that it does elapse and is not a lard is false. sent5: the rosefish factorizes trinketry. sent6: the fact that the bigarade is a positive but it is not utopian does not hold if the rosefish does factorize trinketry. ; $proof$ = 
sent6 & sent5 -> int1: the fact that the bigarade is positive but it is not utopian is not right.; int1 & sent3 -> int2: the bigarade is not docile.; int2 & sent4 -> int3: that the bigarade elapses but it does not lard is not right.; int3 -> int4: there is something such that that it does elapse and is not a lard does not hold.; int4 & sent1 -> hypothesis; __PROVED__