the lectin is not Caroline.
sent1: the lectin is a caragana. sent2: either something does not confront or it does not emanate or both if it is not gutless. sent3: something is lengthwise but it is not a quaff. sent4: something does devise but it is not a kind of a caragana. sent5: the bismark either confronts or does not emanate or both. sent6: the fact that something is lengthwise thing that is not a quaff is not correct if it is not extensive. sent7: the lectin is not gutless. sent8: that the bismark is a rear that is not a parallelogram does not hold if the Antiguan is gutless. sent9: there is something such that it is not a caragana. sent10: there is something such that it devises. sent11: if the bismark is not gutless then that it does not confront and/or it emanates hold. sent12: if something is not extensive then that it is both lengthwise and a quaff does not hold. sent13: the fact that the Antiguan is not extensive is correct if either the bismark does not confront or it does not emanate or both. sent14: if the bismark is gutless then it is satyric. sent15: if there exists something such that it is a quaff then the lectin is Caroline. sent16: the fact that the Antiguan is lengthwise and it is a kind of a quaff is incorrect if it is not extensive. sent17: the lectin is Caroline if there is something such that that it is not non-lengthwise and not a quaff is not right. sent18: if there exists something such that it is a devising and it is not a caragana the bismark is not satyric. sent19: there exists something such that it devises and it is a kind of a caragana. sent20: either the bismark does not confront or it emanates or both.
void -> assump1: Let's assume that the bismark is gutless.; sent14 & assump1 -> int1: the bismark is satyric.; sent4 & sent18 -> int2: the bismark is not satyric.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bismark is not gutless.; sent2 -> int5: the bismark does not confront and/or it does not emanate if it is not gutless.; int4 & int5 -> int6: the bismark either does not confront or does not emanate or both.; int6 & sent13 -> int7: that the Antiguan is not extensive is right.; sent6 -> int8: if the Antiguan is not extensive then that the fact that it is both lengthwise and not a quaff is not false is not true.; int7 & int8 -> int9: that the Antiguan is lengthwise and is not a quaff is not correct.; int9 -> int10: there is something such that that it is lengthwise and not a quaff does not hold.; int10 & sent17 -> hypothesis;
there is something such that that it rears and is not a parallelogram is not correct.
$hypothesis$ = the lectin is not Caroline. ; $context$ = sent1: the lectin is a caragana. sent2: either something does not confront or it does not emanate or both if it is not gutless. sent3: something is lengthwise but it is not a quaff. sent4: something does devise but it is not a kind of a caragana. sent5: the bismark either confronts or does not emanate or both. sent6: the fact that something is lengthwise thing that is not a quaff is not correct if it is not extensive. sent7: the lectin is not gutless. sent8: that the bismark is a rear that is not a parallelogram does not hold if the Antiguan is gutless. sent9: there is something such that it is not a caragana. sent10: there is something such that it devises. sent11: if the bismark is not gutless then that it does not confront and/or it emanates hold. sent12: if something is not extensive then that it is both lengthwise and a quaff does not hold. sent13: the fact that the Antiguan is not extensive is correct if either the bismark does not confront or it does not emanate or both. sent14: if the bismark is gutless then it is satyric. sent15: if there exists something such that it is a quaff then the lectin is Caroline. sent16: the fact that the Antiguan is lengthwise and it is a kind of a quaff is incorrect if it is not extensive. sent17: the lectin is Caroline if there is something such that that it is not non-lengthwise and not a quaff is not right. sent18: if there exists something such that it is a devising and it is not a caragana the bismark is not satyric. sent19: there exists something such that it devises and it is a kind of a caragana. sent20: either the bismark does not confront or it emanates or both. ; $proof$ = 
void -> assump1: Let's assume that the bismark is gutless.; sent14 & assump1 -> int1: the bismark is satyric.; sent4 & sent18 -> int2: the bismark is not satyric.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bismark is not gutless.; sent2 -> int5: the bismark does not confront and/or it does not emanate if it is not gutless.; int4 & int5 -> int6: the bismark either does not confront or does not emanate or both.; int6 & sent13 -> int7: that the Antiguan is not extensive is right.; sent6 -> int8: if the Antiguan is not extensive then that the fact that it is both lengthwise and not a quaff is not false is not true.; int7 & int8 -> int9: that the Antiguan is lengthwise and is not a quaff is not correct.; int9 -> int10: there is something such that that it is lengthwise and not a quaff does not hold.; int10 & sent17 -> hypothesis; __DISPROVED__