that that the Arkansan is a kind of a separated that does not caricature curandero is right is not correct.
sent1: the marbles does not bargain cyberpunk but it is hospitable. sent2: the psilophyton is not a ragtime. sent3: if the marbles does not bargain cyberpunk but it is hospitable it is not internal. sent4: if an esoteric thing is relevant it is not a ragtime. sent5: that the Arkansan is not relevant but non-revolutionary is false if the matricide is not a kind of an analogue. sent6: the matricide is not a kind of an analogue. sent7: something is separated thing that does not caricature curandero if it is not esoteric. sent8: if the marbles is not internal then the Arkansan is esoteric. sent9: if the marbles is not relevant then the Arkansan is not esoteric and it is not internal. sent10: if that something is not relevant and is not revolutionary is incorrect then it is relevant. sent11: if something is not a kind of a ragtime the fact that it is separated and it does not caricature curandero is false.
sent3 & sent1 -> int1: the marbles is not internal.; int1 & sent8 -> int2: the Arkansan is esoteric.; sent10 -> int3: the Arkansan is relevant if the fact that it is not relevant and it is not revolutionary does not hold.; sent5 & sent6 -> int4: the fact that the Arkansan is not relevant and not revolutionary is incorrect.; int3 & int4 -> int5: the Arkansan is relevant.; int2 & int5 -> int6: the Arkansan is esoteric and it is relevant.; sent4 -> int7: if the Arkansan is esoteric and relevant then it is not a kind of a ragtime.; int6 & int7 -> int8: the Arkansan is not a ragtime.; sent11 -> int9: if the Arkansan is not a kind of a ragtime the fact that it does separate and it does not caricature curandero is false.; int8 & int9 -> hypothesis;
the Arkansan is separated thing that does not caricature curandero.
sent7 -> int10: if the Arkansan is not esoteric then it is a separated and it does not caricature curandero.; sent2 -> int11: there is something such that it is not a ragtime.;
$hypothesis$ = that that the Arkansan is a kind of a separated that does not caricature curandero is right is not correct. ; $context$ = sent1: the marbles does not bargain cyberpunk but it is hospitable. sent2: the psilophyton is not a ragtime. sent3: if the marbles does not bargain cyberpunk but it is hospitable it is not internal. sent4: if an esoteric thing is relevant it is not a ragtime. sent5: that the Arkansan is not relevant but non-revolutionary is false if the matricide is not a kind of an analogue. sent6: the matricide is not a kind of an analogue. sent7: something is separated thing that does not caricature curandero if it is not esoteric. sent8: if the marbles is not internal then the Arkansan is esoteric. sent9: if the marbles is not relevant then the Arkansan is not esoteric and it is not internal. sent10: if that something is not relevant and is not revolutionary is incorrect then it is relevant. sent11: if something is not a kind of a ragtime the fact that it is separated and it does not caricature curandero is false. ; $proof$ = 
sent3 & sent1 -> int1: the marbles is not internal.; int1 & sent8 -> int2: the Arkansan is esoteric.; sent10 -> int3: the Arkansan is relevant if the fact that it is not relevant and it is not revolutionary does not hold.; sent5 & sent6 -> int4: the fact that the Arkansan is not relevant and not revolutionary is incorrect.; int3 & int4 -> int5: the Arkansan is relevant.; int2 & int5 -> int6: the Arkansan is esoteric and it is relevant.; sent4 -> int7: if the Arkansan is esoteric and relevant then it is not a kind of a ragtime.; int6 & int7 -> int8: the Arkansan is not a ragtime.; sent11 -> int9: if the Arkansan is not a kind of a ragtime the fact that it does separate and it does not caricature curandero is false.; int8 & int9 -> hypothesis; __PROVED__