the reel is not a peck but it is a kind of a deep.
sent1: everything does not log eider. sent2: if that something does enroll but it is not an oath is false it is deep. sent3: something is not a kind of a fulminate and transaminates fieldfare if it is an oath. sent4: if something does not enroll then that it is not a kind of a peck and it is a deep is false. sent5: that the wadi does not enroll and is an oath if something is a fulminate hold. sent6: if the fact that something is a Regency but it is not dendritic is not true it is a dilatation. sent7: if the guestworker does enroll but it is not a dilatation the reel does not enroll. sent8: the fact that the eider is a kind of a Regency that is dendritic is incorrect. sent9: there exists something such that it is a dilatation and does not transaminate fieldfare. sent10: the guestworker is not dendritic. sent11: the eluate does not enroll and is a kind of a deep if there exists something such that it fulminates. sent12: that the eluate is a fulminate is not false. sent13: if the eider is a dilatation then the guestworker does enroll. sent14: something does log Mustelus and/or it is not an oath if it is not a kind of a frugality. sent15: the eluate is a stockyard if there exists something such that the fact that it transaminates heterostracan and is ammonitic is not right. sent16: the reel transaminates fieldfare and it is a kind of a deep. sent17: the guestworker is an oath if the wadi logs Mustelus. sent18: that something transaminates heterostracan and is ammonitic is incorrect if the fact that it does not log eider hold. sent19: if the eluate is a kind of a stockyard the wadi is not a frugality and is palatial. sent20: the guestworker is rh-negative. sent21: if the wadi does not enroll but it is a kind of an oath the guestworker does not enroll. sent22: something is a Worcester.
sent6 -> int1: the eider is a dilatation if that it is a Regency and not dendritic is not correct.; void -> assump1: Let's assume that that the eider is a Regency and is not dendritic is not right.; int1 & assump1 -> int2: the eider is a dilatation.; int2 & sent13 -> int3: the guestworker does enroll.; sent12 -> int4: there is something such that it is a fulminate.; int4 & sent5 -> int5: the wadi does not enroll and is an oath.; sent21 & int5 -> int6: the guestworker does not enroll.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the eider is a Regency but it is not dendritic.; int8 -> int9: something is a Regency but it is not dendritic.; sent16 -> int10: the reel is a deep.;
that the reel is both not a peck and deep is not right.
sent4 -> int11: the fact that that the reel is not a peck but it is a deep is right does not hold if it does not enroll.; sent3 -> int12: if the guestworker is an oath then it does not fulminate and it does transaminate fieldfare.; sent14 -> int13: the wadi does log Mustelus and/or it is not an oath if it is not a kind of a frugality.; sent18 -> int14: if the fieldfare does not log eider then the fact that it transaminates heterostracan and is ammonitic is not right.; sent1 -> int15: the fieldfare does not log eider.; int14 & int15 -> int16: that the fieldfare does transaminate heterostracan and it is ammonitic is incorrect.; int16 -> int17: there is nothing that does transaminate heterostracan and is ammonitic.; int17 -> int18: the fact that the Berry transaminates heterostracan and it is ammonitic is not true.; int18 -> int19: there exists something such that the fact that it does transaminate heterostracan and is ammonitic is not right.; int19 & sent15 -> int20: the eluate is a stockyard.; int20 & sent19 -> int21: the wadi is not a frugality and is palatial.; int21 -> int22: the wadi is not a frugality.; int13 & int22 -> int23: either the wadi does log Mustelus or it is not an oath or both.;
$hypothesis$ = the reel is not a peck but it is a kind of a deep. ; $context$ = sent1: everything does not log eider. sent2: if that something does enroll but it is not an oath is false it is deep. sent3: something is not a kind of a fulminate and transaminates fieldfare if it is an oath. sent4: if something does not enroll then that it is not a kind of a peck and it is a deep is false. sent5: that the wadi does not enroll and is an oath if something is a fulminate hold. sent6: if the fact that something is a Regency but it is not dendritic is not true it is a dilatation. sent7: if the guestworker does enroll but it is not a dilatation the reel does not enroll. sent8: the fact that the eider is a kind of a Regency that is dendritic is incorrect. sent9: there exists something such that it is a dilatation and does not transaminate fieldfare. sent10: the guestworker is not dendritic. sent11: the eluate does not enroll and is a kind of a deep if there exists something such that it fulminates. sent12: that the eluate is a fulminate is not false. sent13: if the eider is a dilatation then the guestworker does enroll. sent14: something does log Mustelus and/or it is not an oath if it is not a kind of a frugality. sent15: the eluate is a stockyard if there exists something such that the fact that it transaminates heterostracan and is ammonitic is not right. sent16: the reel transaminates fieldfare and it is a kind of a deep. sent17: the guestworker is an oath if the wadi logs Mustelus. sent18: that something transaminates heterostracan and is ammonitic is incorrect if the fact that it does not log eider hold. sent19: if the eluate is a kind of a stockyard the wadi is not a frugality and is palatial. sent20: the guestworker is rh-negative. sent21: if the wadi does not enroll but it is a kind of an oath the guestworker does not enroll. sent22: something is a Worcester. ; $proof$ = 
sent6 -> int1: the eider is a dilatation if that it is a Regency and not dendritic is not correct.; void -> assump1: Let's assume that that the eider is a Regency and is not dendritic is not right.; int1 & assump1 -> int2: the eider is a dilatation.; int2 & sent13 -> int3: the guestworker does enroll.; sent12 -> int4: there is something such that it is a fulminate.; int4 & sent5 -> int5: the wadi does not enroll and is an oath.; sent21 & int5 -> int6: the guestworker does not enroll.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the eider is a Regency but it is not dendritic.; int8 -> int9: something is a Regency but it is not dendritic.; sent16 -> int10: the reel is a deep.; __UNKNOWN__