if the downdraft is handmade the relaxin quarantines crenelation.
sent1: there is something such that it is handmade. sent2: the an is post-communist thing that is cardiac if there exists something such that that it is not handmade hold. sent3: the an is not handmade if the relaxin is not cardiac and does quarantine crenelation. sent4: if something is both post-communist and not non-handmade the an is cardiac. sent5: the an is a corset. sent6: the crenelation quarantines an if the downdraft is post-communist. sent7: something does not pouch if that it does not quarantine cold and it is an opposition is not correct. sent8: that the downdraft is a secobarbital is not wrong. sent9: if something is not a square then the downdraft is a secobarbital. sent10: the downdraft is cardiac if there is something such that it is a kind of handmade a secobarbital. sent11: there is something such that it does square. sent12: if the relaxin is not a pouch it is a kind of non-cardiac thing that does quarantine crenelation. sent13: if the crenelation is not xerographic it is square thing that is a kind of a purge. sent14: the downdraft is post-communist and it is a secobarbital if something is not a square. sent15: there is something such that it does not square. sent16: either the downdraft is a kind of a secobarbital or it is post-communist or both if the an is not handmade. sent17: the downdraft is a kind of cardiac a secobarbital. sent18: if the downdraft is a secobarbital then the crenelation does quarantine A. sent19: the relaxin is both a Bowie and a male.
sent15 & sent14 -> int1: the downdraft is post-communist and is a kind of a secobarbital.; int1 -> int2: the downdraft is post-communist.; void -> assump1: Let's assume that the downdraft is handmade.; int2 & assump1 -> int3: the downdraft is post-communist thing that is handmade.; int3 -> int4: there exists something such that it is post-communist thing that is handmade.; int4 & sent4 -> int5: the an is cardiac.;
the crenelation does quarantine an and purges.
sent7 -> int6: the relaxin does not pouch if the fact that it does not quarantine cold and it is a kind of an opposition is wrong.;
$hypothesis$ = if the downdraft is handmade the relaxin quarantines crenelation. ; $context$ = sent1: there is something such that it is handmade. sent2: the an is post-communist thing that is cardiac if there exists something such that that it is not handmade hold. sent3: the an is not handmade if the relaxin is not cardiac and does quarantine crenelation. sent4: if something is both post-communist and not non-handmade the an is cardiac. sent5: the an is a corset. sent6: the crenelation quarantines an if the downdraft is post-communist. sent7: something does not pouch if that it does not quarantine cold and it is an opposition is not correct. sent8: that the downdraft is a secobarbital is not wrong. sent9: if something is not a square then the downdraft is a secobarbital. sent10: the downdraft is cardiac if there is something such that it is a kind of handmade a secobarbital. sent11: there is something such that it does square. sent12: if the relaxin is not a pouch it is a kind of non-cardiac thing that does quarantine crenelation. sent13: if the crenelation is not xerographic it is square thing that is a kind of a purge. sent14: the downdraft is post-communist and it is a secobarbital if something is not a square. sent15: there is something such that it does not square. sent16: either the downdraft is a kind of a secobarbital or it is post-communist or both if the an is not handmade. sent17: the downdraft is a kind of cardiac a secobarbital. sent18: if the downdraft is a secobarbital then the crenelation does quarantine A. sent19: the relaxin is both a Bowie and a male. ; $proof$ = 
sent15 & sent14 -> int1: the downdraft is post-communist and is a kind of a secobarbital.; int1 -> int2: the downdraft is post-communist.; void -> assump1: Let's assume that the downdraft is handmade.; int2 & assump1 -> int3: the downdraft is post-communist thing that is handmade.; int3 -> int4: there exists something such that it is post-communist thing that is handmade.; int4 & sent4 -> int5: the an is cardiac.; __UNKNOWN__