the etcher is not a lemma.
sent1: if the cockspur is toxicological then the etcher is a kind of toxicological thing that is not a lemma. sent2: the cockspur is toxicological if that it is a tout and non-consular is not true. sent3: that the cockspur does tout but it is not consular is not true if the cartoon is a tout. sent4: the crackle is insincere thing that is binocular. sent5: that the cockspur is a tout and it is consular is wrong. sent6: the crackle is not non-binocular. sent7: the cartoon does tout if there exists something such that it is calcific thing that is aerophilatelic. sent8: something that is insincere is calcific. sent9: if there is something such that it is not aerophilatelic the fact that the cartoon is not non-binocular but it is not calcific is incorrect. sent10: the etcher is insincere thing that is a kind of a lemma if the crackle is not binocular.
sent4 -> int1: the crackle is insincere.; sent8 -> int2: that the crackle is calcific is true if it is insincere.; int1 & int2 -> int3: the crackle is calcific.;
the etcher is a lemma.
$hypothesis$ = the etcher is not a lemma. ; $context$ = sent1: if the cockspur is toxicological then the etcher is a kind of toxicological thing that is not a lemma. sent2: the cockspur is toxicological if that it is a tout and non-consular is not true. sent3: that the cockspur does tout but it is not consular is not true if the cartoon is a tout. sent4: the crackle is insincere thing that is binocular. sent5: that the cockspur is a tout and it is consular is wrong. sent6: the crackle is not non-binocular. sent7: the cartoon does tout if there exists something such that it is calcific thing that is aerophilatelic. sent8: something that is insincere is calcific. sent9: if there is something such that it is not aerophilatelic the fact that the cartoon is not non-binocular but it is not calcific is incorrect. sent10: the etcher is insincere thing that is a kind of a lemma if the crackle is not binocular. ; $proof$ = 
sent4 -> int1: the crackle is insincere.; sent8 -> int2: that the crackle is calcific is true if it is insincere.; int1 & int2 -> int3: the crackle is calcific.; __UNKNOWN__