the fact that the fact that the ascent is an interrupt and a crank is false hold.
sent1: the fact that the cowberry is a kind of forte thing that is a kind of a notice is not correct if that the workspace is not a forte is not false. sent2: if the cowberry is an interrupt the workspace is reparable. sent3: the workspace is a notice if it does interrupt. sent4: that the cowberry is not a crank is not false. sent5: the cowberry is not forte. sent6: the cowberry is unportable if the workspace is a notice. sent7: if that the workspace is not a kind of a crank is true then the fact that the ascent crank and is an interrupt is wrong. sent8: the renin is not reparable. sent9: the fact that the cowberry is both not portable and not irreparable is not true if it is not a forte. sent10: if the workspace does not interrupt the fact that the ascent is a kind of an interrupt that cranks is not correct.
void -> assump1: Let's assume that the workspace does interrupt.; sent3 & assump1 -> int1: the workspace is a notice.; int1 & sent6 -> int2: the cowberry is unportable.; sent9 & sent5 -> int3: the fact that the cowberry is both unportable and reparable does not hold.;
$hypothesis$ = the fact that the fact that the ascent is an interrupt and a crank is false hold. ; $context$ = sent1: the fact that the cowberry is a kind of forte thing that is a kind of a notice is not correct if that the workspace is not a forte is not false. sent2: if the cowberry is an interrupt the workspace is reparable. sent3: the workspace is a notice if it does interrupt. sent4: that the cowberry is not a crank is not false. sent5: the cowberry is not forte. sent6: the cowberry is unportable if the workspace is a notice. sent7: if that the workspace is not a kind of a crank is true then the fact that the ascent crank and is an interrupt is wrong. sent8: the renin is not reparable. sent9: the fact that the cowberry is both not portable and not irreparable is not true if it is not a forte. sent10: if the workspace does not interrupt the fact that the ascent is a kind of an interrupt that cranks is not correct. ; $proof$ = 
void -> assump1: Let's assume that the workspace does interrupt.; sent3 & assump1 -> int1: the workspace is a notice.; int1 & sent6 -> int2: the cowberry is unportable.; sent9 & sent5 -> int3: the fact that the cowberry is both unportable and reparable does not hold.; __UNKNOWN__