the borrower is a recollection if the daisybush is a abashment.
sent1: the borrower is not astrological. sent2: the chin is flats if the daisybush does knit one-millionth. sent3: the spreader is a abashment. sent4: the daisybush is not a flats. sent5: the tilter does not knit one-millionth. sent6: that the borrower themes camping is not wrong. sent7: if the fact that the daisybush is a recollection is true then the borrower knits one-millionth. sent8: if the borrower knits one-millionth the daisybush is a recollection. sent9: if the chin is a flats then the borrower is a recollection but it is non-astrological. sent10: if the chin is a flats then the borrower is not astrological. sent11: the chin is a kind of a abashment. sent12: the borrower is a flats that does not knit one-millionth if that the chin is astrological hold. sent13: the borrower does trivialize aim.
void -> assump1: Let's assume that the daisybush is a abashment.; void -> assump2: Let's assume that the daisybush does not knit one-millionth.; assump1 & assump2 -> int1: the daisybush is a abashment and does not knit one-millionth.;
$hypothesis$ = the borrower is a recollection if the daisybush is a abashment. ; $context$ = sent1: the borrower is not astrological. sent2: the chin is flats if the daisybush does knit one-millionth. sent3: the spreader is a abashment. sent4: the daisybush is not a flats. sent5: the tilter does not knit one-millionth. sent6: that the borrower themes camping is not wrong. sent7: if the fact that the daisybush is a recollection is true then the borrower knits one-millionth. sent8: if the borrower knits one-millionth the daisybush is a recollection. sent9: if the chin is a flats then the borrower is a recollection but it is non-astrological. sent10: if the chin is a flats then the borrower is not astrological. sent11: the chin is a kind of a abashment. sent12: the borrower is a flats that does not knit one-millionth if that the chin is astrological hold. sent13: the borrower does trivialize aim. ; $proof$ = 
void -> assump1: Let's assume that the daisybush is a abashment.; void -> assump2: Let's assume that the daisybush does not knit one-millionth.; assump1 & assump2 -> int1: the daisybush is a abashment and does not knit one-millionth.; __UNKNOWN__