the bister does not dangle CV.
sent1: if the bust is a Florence then the statin is not inextricable. sent2: that the bister is inextricable is not wrong. sent3: the bister does not guggle tyrannosaur. sent4: that that the bust does not leap statin and it is not a Florence is not false does not hold. sent5: something is non-inextricable thing that dangles CV if it does not leap statin. sent6: the bust is not a Florence if the statin does not dangle CV and is not inextricable. sent7: the putamen is not inextricable. sent8: that the bust does leap statin is correct. sent9: that the bister does not dangle CV is not incorrect if the bust is not a Florence and it does not guggle tyrannosaur. sent10: if that the bust does not leap statin and is not inextricable is incorrect the statin is not a kind of a Florence. sent11: the bust does not dangle CV if there is something such that the fact that it is not inextricable and/or it does not leap statin is not right. sent12: if the statin does not leap statin and is not a Florence the bust is not inextricable. sent13: the statin does dangle CV. sent14: if the bust is a kind of a Florence but it does not guggle tyrannosaur then the bister does not dangle CV. sent15: the bister does not leap statin and is a kind of a roadkill if the bust is deconstructionist. sent16: the bust is not a Florence. sent17: the statin does leap statin. sent18: something is a roadkill if it is deconstructionist. sent19: the fact that the bust is a Florence and does not guggle tyrannosaur is false. sent20: the fact that something does not leap statin if the fact that it is a roadkill is not incorrect hold. sent21: The statin does leap statin. sent22: the statin is inextricable if it leaps statin.
void -> assump1: Let's assume that that the bust is not a Florence and does not guggle tyrannosaur is false.; sent22 & sent17 -> int1: the statin is inextricable.;
the bister does dangle CV.
sent5 -> int2: if the bister does not leap statin it is non-inextricable thing that does dangle CV.;
$hypothesis$ = the bister does not dangle CV. ; $context$ = sent1: if the bust is a Florence then the statin is not inextricable. sent2: that the bister is inextricable is not wrong. sent3: the bister does not guggle tyrannosaur. sent4: that that the bust does not leap statin and it is not a Florence is not false does not hold. sent5: something is non-inextricable thing that dangles CV if it does not leap statin. sent6: the bust is not a Florence if the statin does not dangle CV and is not inextricable. sent7: the putamen is not inextricable. sent8: that the bust does leap statin is correct. sent9: that the bister does not dangle CV is not incorrect if the bust is not a Florence and it does not guggle tyrannosaur. sent10: if that the bust does not leap statin and is not inextricable is incorrect the statin is not a kind of a Florence. sent11: the bust does not dangle CV if there is something such that the fact that it is not inextricable and/or it does not leap statin is not right. sent12: if the statin does not leap statin and is not a Florence the bust is not inextricable. sent13: the statin does dangle CV. sent14: if the bust is a kind of a Florence but it does not guggle tyrannosaur then the bister does not dangle CV. sent15: the bister does not leap statin and is a kind of a roadkill if the bust is deconstructionist. sent16: the bust is not a Florence. sent17: the statin does leap statin. sent18: something is a roadkill if it is deconstructionist. sent19: the fact that the bust is a Florence and does not guggle tyrannosaur is false. sent20: the fact that something does not leap statin if the fact that it is a roadkill is not incorrect hold. sent21: The statin does leap statin. sent22: the statin is inextricable if it leaps statin. ; $proof$ = 
void -> assump1: Let's assume that that the bust is not a Florence and does not guggle tyrannosaur is false.; sent22 & sent17 -> int1: the statin is inextricable.; __UNKNOWN__