the proconsul is a huck but it is not a overexertion.
sent1: the doeskin is not tetanic and it is not similar. sent2: the shrink-wrap is a lecturer and is not tetanic if the doeskin is not tetanic. sent3: the doeskin is not similar. sent4: the shrink-wrap is a Tacitus if the fact that the fact that the proconsul is lithic and/or it is not a Tacitus is not correct is right. sent5: if the fact that something is not similar and is not tetanic is wrong then it is not a kind of a huck. sent6: if the chutney is a kind of a huck the proconsul is a huck. sent7: that the chutney is not a overexertion is right. sent8: the proconsul is not a overexertion if the shrink-wrap stabs Cyrus. sent9: the fact that the chutney does not stab conspiracy but it is Cromwellian does not hold if it is not a kind of a cereal. sent10: something is not a shamanism if either it is tetanic or it is similar or both. sent11: the shrink-wrap is a overexertion. sent12: if the fact that the chutney does not stab conspiracy and is Cromwellian is not correct then the shrink-wrap is a Blimp. sent13: if there exists something such that it is a Blimp and is a Tacitus then the doeskin is not a huck. sent14: if the doeskin is not a huck it is not a lecturer and it is not a overexertion. sent15: the chutney is not a Tacitus. sent16: the proconsul does not stab Cyrus if the shrink-wrap does not stab Cyrus. sent17: something that is a lecturer and is non-tetanic stabs Cyrus. sent18: the chutney is not a cereal. sent19: the fact that the proconsul is lithic and/or it is not a Tacitus is not correct. sent20: that the netting does not stab Cyrus is correct if the fact that something is not a lecturer and it is not a overexertion hold.
sent1 -> int1: that the doeskin is not tetanic is not wrong.; int1 & sent2 -> int2: the shrink-wrap is a lecturer but it is not tetanic.; sent17 -> int3: if the shrink-wrap is both a lecturer and not tetanic it stabs Cyrus.; int2 & int3 -> int4: the shrink-wrap does stab Cyrus.; int4 & sent8 -> int5: the proconsul is not a kind of a overexertion.;
that the proconsul is a huck and is not a overexertion is incorrect.
sent5 -> int6: if the fact that the doeskin is a kind of dissimilar thing that is not tetanic is not correct it is not a huck.;
$hypothesis$ = the proconsul is a huck but it is not a overexertion. ; $context$ = sent1: the doeskin is not tetanic and it is not similar. sent2: the shrink-wrap is a lecturer and is not tetanic if the doeskin is not tetanic. sent3: the doeskin is not similar. sent4: the shrink-wrap is a Tacitus if the fact that the fact that the proconsul is lithic and/or it is not a Tacitus is not correct is right. sent5: if the fact that something is not similar and is not tetanic is wrong then it is not a kind of a huck. sent6: if the chutney is a kind of a huck the proconsul is a huck. sent7: that the chutney is not a overexertion is right. sent8: the proconsul is not a overexertion if the shrink-wrap stabs Cyrus. sent9: the fact that the chutney does not stab conspiracy but it is Cromwellian does not hold if it is not a kind of a cereal. sent10: something is not a shamanism if either it is tetanic or it is similar or both. sent11: the shrink-wrap is a overexertion. sent12: if the fact that the chutney does not stab conspiracy and is Cromwellian is not correct then the shrink-wrap is a Blimp. sent13: if there exists something such that it is a Blimp and is a Tacitus then the doeskin is not a huck. sent14: if the doeskin is not a huck it is not a lecturer and it is not a overexertion. sent15: the chutney is not a Tacitus. sent16: the proconsul does not stab Cyrus if the shrink-wrap does not stab Cyrus. sent17: something that is a lecturer and is non-tetanic stabs Cyrus. sent18: the chutney is not a cereal. sent19: the fact that the proconsul is lithic and/or it is not a Tacitus is not correct. sent20: that the netting does not stab Cyrus is correct if the fact that something is not a lecturer and it is not a overexertion hold. ; $proof$ = 
sent1 -> int1: that the doeskin is not tetanic is not wrong.; int1 & sent2 -> int2: the shrink-wrap is a lecturer but it is not tetanic.; sent17 -> int3: if the shrink-wrap is both a lecturer and not tetanic it stabs Cyrus.; int2 & int3 -> int4: the shrink-wrap does stab Cyrus.; int4 & sent8 -> int5: the proconsul is not a kind of a overexertion.; __UNKNOWN__