the record cogitates and it crispens.
sent1: if something is a Jewess it does cogitate. sent2: the kinglet does suborn sadomasochism. sent3: the kinglet is a Jewess. sent4: if there exists something such that that it is a kind of non-clitoral thing that is overhand is not right then that the record is certain hold. sent5: if something is certain then it is a Jewess. sent6: the record crispens if it does not suborn sadomasochism and it is a carbamate. sent7: the fact that the fact that the kinglet is both not clitoral and overhand is incorrect is not incorrect. sent8: the kinglet does not cogitate if that it either does not crispen or suborns sadomasochism or both is false. sent9: the record does not suborn sadomasochism but it is a kind of a carbamate. sent10: if the record suborns sadomasochism and is a carbamate then it crispens. sent11: the redpoll is certain if the conessi is a Jewess.
sent7 -> int1: there exists something such that that it is a kind of non-clitoral thing that is overhand is incorrect.; int1 & sent4 -> int2: the record is certain.; sent5 -> int3: the record is a Jewess if it is certain.; int2 & int3 -> int4: the record is a Jewess.; sent1 -> int5: if the record is a Jewess then it does cogitate.; int4 & int5 -> int6: the record does cogitate.; sent6 & sent9 -> int7: the record crispens.; int6 & int7 -> hypothesis;
that the record does cogitate and does crispen is incorrect.
$hypothesis$ = the record cogitates and it crispens. ; $context$ = sent1: if something is a Jewess it does cogitate. sent2: the kinglet does suborn sadomasochism. sent3: the kinglet is a Jewess. sent4: if there exists something such that that it is a kind of non-clitoral thing that is overhand is not right then that the record is certain hold. sent5: if something is certain then it is a Jewess. sent6: the record crispens if it does not suborn sadomasochism and it is a carbamate. sent7: the fact that the fact that the kinglet is both not clitoral and overhand is incorrect is not incorrect. sent8: the kinglet does not cogitate if that it either does not crispen or suborns sadomasochism or both is false. sent9: the record does not suborn sadomasochism but it is a kind of a carbamate. sent10: if the record suborns sadomasochism and is a carbamate then it crispens. sent11: the redpoll is certain if the conessi is a Jewess. ; $proof$ = 
sent7 -> int1: there exists something such that that it is a kind of non-clitoral thing that is overhand is incorrect.; int1 & sent4 -> int2: the record is certain.; sent5 -> int3: the record is a Jewess if it is certain.; int2 & int3 -> int4: the record is a Jewess.; sent1 -> int5: if the record is a Jewess then it does cogitate.; int4 & int5 -> int6: the record does cogitate.; sent6 & sent9 -> int7: the record crispens.; int6 & int7 -> hypothesis; __PROVED__