the corkscrew is a twenty and it is a Monaco.
sent1: the corkscrew is a kind of a Sabbatarian if it is a twenty. sent2: if something is not a kind of a Sabbatarian then it is not a bounce or not a Epona or both. sent3: if the wardress is a kind of a Epona it does gallop. sent4: the wardress does not disoblige diploid. sent5: the corkscrew is a kind of a twenty and it is a Monaco if the Boxer is not a bounce. sent6: the North is a Monaco and a pain. sent7: if there is something such that the fact that it is not a Monaco but a Epona is wrong then the Boxer is not a Epona. sent8: the Boxer is not a dong. sent9: if the fact that the Boxer is an adhesion but it does not gallop is not true then it does gallop. sent10: the fact that the kweek gallops but it is not a dong is incorrect. sent11: if the fact that something is not a bounce is true then the fact that it is both a twenty and a Monaco is not right. sent12: if the wardress is a twenty then it is a kind of a testimony. sent13: if something is a Sabbatarian it is a Epona. sent14: if that something is a Sabbatarian hold it is a bounce. sent15: the fact that the Boxer is an adhesion that does not gallop does not hold if it is not unprofitable. sent16: if the Boxer is not a kind of a Epona but it is Sabbatarian the victualer is Sabbatarian. sent17: the kweek is a Sabbatarian. sent18: that the fact that the wardress is not a Monaco and is a Epona is incorrect is right if the corkscrew does gallop. sent19: if that the kweek is a gallop and is not a kind of a dong is wrong then the wardress is not a gallop. sent20: the corkscrew is a kind of a twenty. sent21: the Boxer is not unprofitable. sent22: if the kweek is a dong the wardress is not a gallop. sent23: the corkscrew is a kind of a gallop if the kweek is a dong.
void -> assump1: Let's assume that the Boxer bounces.; sent13 -> int1: that the wardress is a Epona hold if it is a kind of a Sabbatarian.; sent19 & sent10 -> int2: the wardress does not gallop.;
that the corkscrew is a kind of a twenty and is a Monaco does not hold.
sent11 -> int3: that the corkscrew is a kind of a twenty that is a Monaco is not true if it does not bounce.; sent2 -> int4: that the Boxer is not a bounce or it is not a Epona or both is right if it is not a kind of a Sabbatarian.; sent15 & sent21 -> int5: that the Boxer is an adhesion but it is not a gallop does not hold.; sent9 & int5 -> int6: the Boxer does gallop.; int6 & sent8 -> int7: the Boxer is a gallop but it is not a dong.;
$hypothesis$ = the corkscrew is a twenty and it is a Monaco. ; $context$ = sent1: the corkscrew is a kind of a Sabbatarian if it is a twenty. sent2: if something is not a kind of a Sabbatarian then it is not a bounce or not a Epona or both. sent3: if the wardress is a kind of a Epona it does gallop. sent4: the wardress does not disoblige diploid. sent5: the corkscrew is a kind of a twenty and it is a Monaco if the Boxer is not a bounce. sent6: the North is a Monaco and a pain. sent7: if there is something such that the fact that it is not a Monaco but a Epona is wrong then the Boxer is not a Epona. sent8: the Boxer is not a dong. sent9: if the fact that the Boxer is an adhesion but it does not gallop is not true then it does gallop. sent10: the fact that the kweek gallops but it is not a dong is incorrect. sent11: if the fact that something is not a bounce is true then the fact that it is both a twenty and a Monaco is not right. sent12: if the wardress is a twenty then it is a kind of a testimony. sent13: if something is a Sabbatarian it is a Epona. sent14: if that something is a Sabbatarian hold it is a bounce. sent15: the fact that the Boxer is an adhesion that does not gallop does not hold if it is not unprofitable. sent16: if the Boxer is not a kind of a Epona but it is Sabbatarian the victualer is Sabbatarian. sent17: the kweek is a Sabbatarian. sent18: that the fact that the wardress is not a Monaco and is a Epona is incorrect is right if the corkscrew does gallop. sent19: if that the kweek is a gallop and is not a kind of a dong is wrong then the wardress is not a gallop. sent20: the corkscrew is a kind of a twenty. sent21: the Boxer is not unprofitable. sent22: if the kweek is a dong the wardress is not a gallop. sent23: the corkscrew is a kind of a gallop if the kweek is a dong. ; $proof$ = 
void -> assump1: Let's assume that the Boxer bounces.; sent13 -> int1: that the wardress is a Epona hold if it is a kind of a Sabbatarian.; sent19 & sent10 -> int2: the wardress does not gallop.; __UNKNOWN__