the cube does defrost and it demises crapshooter.
sent1: the cretonne quenches canticle and is a kirsch. sent2: if the letterer does stampede vascularity then the foothold is alliaceous. sent3: the cube is palingenetic if there is something such that that it is not jointed and stampedes vascularity is false. sent4: something that does not stampede vascularity is palingenetic and not non-jointed. sent5: something demises crapshooter if it is palingenetic. sent6: the cretonne is not a kind of a Paleolithic. sent7: the cube does defrost if the cretonne does quench canticle but it is not a Paleolithic.
void -> assump1: Let's assume that the letterer is non-jointed thing that does stampede vascularity.; assump1 -> int1: the letterer stampedes vascularity.; int1 & sent2 -> int2: the foothold is alliaceous.; sent5 -> int3: if the cube is palingenetic it demises crapshooter.; sent1 -> int4: the cretonne does quench canticle.; int4 & sent6 -> int5: the cretonne does quench canticle and is not a Paleolithic.; sent7 & int5 -> int6: the fact that the cube defrosts is right.;
the autoradiography is palingenetic a scrawler.
sent4 -> int7: the autoradiography is palingenetic and is a jointed if it does not stampede vascularity.;
$hypothesis$ = the cube does defrost and it demises crapshooter. ; $context$ = sent1: the cretonne quenches canticle and is a kirsch. sent2: if the letterer does stampede vascularity then the foothold is alliaceous. sent3: the cube is palingenetic if there is something such that that it is not jointed and stampedes vascularity is false. sent4: something that does not stampede vascularity is palingenetic and not non-jointed. sent5: something demises crapshooter if it is palingenetic. sent6: the cretonne is not a kind of a Paleolithic. sent7: the cube does defrost if the cretonne does quench canticle but it is not a Paleolithic. ; $proof$ = 
void -> assump1: Let's assume that the letterer is non-jointed thing that does stampede vascularity.; assump1 -> int1: the letterer stampedes vascularity.; int1 & sent2 -> int2: the foothold is alliaceous.; sent5 -> int3: if the cube is palingenetic it demises crapshooter.; sent1 -> int4: the cretonne does quench canticle.; int4 & sent6 -> int5: the cretonne does quench canticle and is not a Paleolithic.; sent7 & int5 -> int6: the fact that the cube defrosts is right.; __UNKNOWN__