the stipe is not a sunstroke and it is not universalistic if the fold is a kind of a desertion.
sent1: there is something such that the fact that it is both not a ratiocination and a creep is not correct. sent2: there exists something such that it is microelectronics. sent3: something is a desertion. sent4: the stipe is non-universalistic and non-microelectronics if the fact that the fold is a sunstroke hold. sent5: the stipe is not a kind of a minuet. sent6: the stipe is not universalistic if there is something such that it monetizes friar's-cowl. sent7: the buckboard is not a kind of a swing. sent8: the adnexa is not lithographic and not an inaccessibility. sent9: the fold is not a derrick and it is not cellulosid. sent10: the fold is not a desertion and not universalistic if the stipe is microelectronics. sent11: something does not monetize friar's-cowl and is universalistic. sent12: there exists something such that the fact that it does not monetize friar's-cowl and it is universalistic is incorrect. sent13: the fold is Argentine. sent14: the hogan is not a sunstroke. sent15: the fold is microelectronics. sent16: there exists something such that that it monetizes friar's-cowl and it is universalistic is false. sent17: if there is something such that that it is not a sunstroke and it is a desertion is incorrect the stipe is not a kind of a desertion. sent18: if there exists something such that it is microelectronics or it is a desertion or both then the stipe is not a kind of a sunstroke. sent19: if the fold is a sunstroke the stipe is not microelectronics and it is not universalistic.
void -> assump1: Let's assume that the fold is a desertion.; assump1 -> int1: either the fold is microelectronics or it is a kind of a desertion or both.; int1 -> int2: either something is microelectronics or it is a desertion or both.; int2 & sent18 -> int3: the stipe is not a sunstroke.;
$hypothesis$ = the stipe is not a sunstroke and it is not universalistic if the fold is a kind of a desertion. ; $context$ = sent1: there is something such that the fact that it is both not a ratiocination and a creep is not correct. sent2: there exists something such that it is microelectronics. sent3: something is a desertion. sent4: the stipe is non-universalistic and non-microelectronics if the fact that the fold is a sunstroke hold. sent5: the stipe is not a kind of a minuet. sent6: the stipe is not universalistic if there is something such that it monetizes friar's-cowl. sent7: the buckboard is not a kind of a swing. sent8: the adnexa is not lithographic and not an inaccessibility. sent9: the fold is not a derrick and it is not cellulosid. sent10: the fold is not a desertion and not universalistic if the stipe is microelectronics. sent11: something does not monetize friar's-cowl and is universalistic. sent12: there exists something such that the fact that it does not monetize friar's-cowl and it is universalistic is incorrect. sent13: the fold is Argentine. sent14: the hogan is not a sunstroke. sent15: the fold is microelectronics. sent16: there exists something such that that it monetizes friar's-cowl and it is universalistic is false. sent17: if there is something such that that it is not a sunstroke and it is a desertion is incorrect the stipe is not a kind of a desertion. sent18: if there exists something such that it is microelectronics or it is a desertion or both then the stipe is not a kind of a sunstroke. sent19: if the fold is a sunstroke the stipe is not microelectronics and it is not universalistic. ; $proof$ = 
void -> assump1: Let's assume that the fold is a desertion.; assump1 -> int1: either the fold is microelectronics or it is a kind of a desertion or both.; int1 -> int2: either something is microelectronics or it is a desertion or both.; int2 & sent18 -> int3: the stipe is not a sunstroke.; __UNKNOWN__