the butylene is a kind of a daiquiri.
sent1: the Czech is an upstage if there is something such that that it is paroxysmal is not incorrect. sent2: something is not a daiquiri if the fact that it is a kind of a daiquiri that does not fret Nycticorax does not hold. sent3: if the Czech uprises then the boar is a kind of an upstage. sent4: there is something such that the fact that it is non-upstage and it does not uprise is false. sent5: the Czech is not a daiquiri. sent6: if the fact that the Czech is not exportable but it is a monism is not true then it is not a kind of a monism. sent7: if the Czech is not non-upstage the penknife non-upstage. sent8: the fact that the Czech is not exportable and is a kind of a monism does not hold. sent9: the fact that the butylene is not a kind of a daiquiri and uprises is not right if the penknife does upstage. sent10: if the boar is an upstage the butylene is a daiquiri. sent11: the penknife is lexicostatistic if the fact that it is not heedful and is a congener is not right. sent12: if the penknife is unexportable then it is not heedful. sent13: if that something is not a kind of a daiquiri and uprises is not true it does not uprises. sent14: if something is not a monism then it is not paroxysmal. sent15: if something is not paroxysmal that it does fret Nycticorax and it does not uprise does not hold. sent16: if that something demilitarizes banned and/or is not a kind of a monism is not correct then it is paroxysmal. sent17: if the penknife is lexicostatistic the Czech does fret Nycticorax. sent18: the fact that the boar does demilitarize banned and/or it is not a monism is not right. sent19: the Czech is heedful if the penknife is a monism.
void -> assump1: Let's assume that the Czech does not uprise.; sent15 -> int1: that the Czech does fret Nycticorax but it does not uprise is not right if it is not paroxysmal.; sent14 -> int2: if the Czech is not a kind of a monism then it is not paroxysmal.; sent6 & sent8 -> int3: that the Czech is not a monism is not wrong.; int2 & int3 -> int4: the Czech is not paroxysmal.; int1 & int4 -> int5: that the Czech does fret Nycticorax and does not uprise is not true.;
the butylene does fret Nycticorax.
sent13 -> int6: the butylene does not uprise if the fact that it is not a kind of a daiquiri and it does uprise is false.; sent16 -> int7: if that the boar demilitarizes banned or is not a monism or both does not hold then the fact that it is paroxysmal is not incorrect.; int7 & sent18 -> int8: the boar is paroxysmal.; int8 -> int9: there is something such that it is not non-paroxysmal.; int9 & sent1 -> int10: the fact that the Czech upstages is true.; sent7 & int10 -> int11: the penknife is an upstage.; sent9 & int11 -> int12: that the butylene is not a kind of a daiquiri but it does uprise does not hold.; int6 & int12 -> int13: the butylene does not uprise.;
$hypothesis$ = the butylene is a kind of a daiquiri. ; $context$ = sent1: the Czech is an upstage if there is something such that that it is paroxysmal is not incorrect. sent2: something is not a daiquiri if the fact that it is a kind of a daiquiri that does not fret Nycticorax does not hold. sent3: if the Czech uprises then the boar is a kind of an upstage. sent4: there is something such that the fact that it is non-upstage and it does not uprise is false. sent5: the Czech is not a daiquiri. sent6: if the fact that the Czech is not exportable but it is a monism is not true then it is not a kind of a monism. sent7: if the Czech is not non-upstage the penknife non-upstage. sent8: the fact that the Czech is not exportable and is a kind of a monism does not hold. sent9: the fact that the butylene is not a kind of a daiquiri and uprises is not right if the penknife does upstage. sent10: if the boar is an upstage the butylene is a daiquiri. sent11: the penknife is lexicostatistic if the fact that it is not heedful and is a congener is not right. sent12: if the penknife is unexportable then it is not heedful. sent13: if that something is not a kind of a daiquiri and uprises is not true it does not uprises. sent14: if something is not a monism then it is not paroxysmal. sent15: if something is not paroxysmal that it does fret Nycticorax and it does not uprise does not hold. sent16: if that something demilitarizes banned and/or is not a kind of a monism is not correct then it is paroxysmal. sent17: if the penknife is lexicostatistic the Czech does fret Nycticorax. sent18: the fact that the boar does demilitarize banned and/or it is not a monism is not right. sent19: the Czech is heedful if the penknife is a monism. ; $proof$ = 
void -> assump1: Let's assume that the Czech does not uprise.; sent15 -> int1: that the Czech does fret Nycticorax but it does not uprise is not right if it is not paroxysmal.; sent14 -> int2: if the Czech is not a kind of a monism then it is not paroxysmal.; sent6 & sent8 -> int3: that the Czech is not a monism is not wrong.; int2 & int3 -> int4: the Czech is not paroxysmal.; int1 & int4 -> int5: that the Czech does fret Nycticorax and does not uprise is not true.; __UNKNOWN__