the lepidopteron is permissive.
sent1: the semitrailer is not a cattleman but it does incur. sent2: if something is non-calyptrate that it is a cattleman and it does incur is wrong. sent3: if the semitrailer is zygomatic then the lepidopteron is permissive. sent4: the fact that the semitrailer is not Jacobean hold if it is calyptrate. sent5: the lepidopteron is a cattleman. sent6: the semitrailer is not a kind of a cattleman. sent7: the semitrailer is endodontic. sent8: the lepidopteron is a martensite and/or it is a pad. sent9: the semitrailer is not a kind of a Jacobean if either it does incur or it is calyptrate or both. sent10: something is not a kind of a pad if it is not a Jacobean.
sent1 -> int1: the semitrailer incurs.; int1 -> int2: the semitrailer incurs and/or is calyptrate.; int2 & sent9 -> int3: the fact that the semitrailer is not a Jacobean is correct.; sent10 -> int4: if the semitrailer is not a Jacobean it is not a pad.; int3 & int4 -> int5: the semitrailer is not a kind of a pad.; int5 & sent7 -> int6: the semitrailer is not a pad but it is endodontic.;
the lepidopteron is not permissive.
sent2 -> int7: if the semitrailer is not calyptrate that it is a kind of a cattleman that does incur does not hold.;
$hypothesis$ = the lepidopteron is permissive. ; $context$ = sent1: the semitrailer is not a cattleman but it does incur. sent2: if something is non-calyptrate that it is a cattleman and it does incur is wrong. sent3: if the semitrailer is zygomatic then the lepidopteron is permissive. sent4: the fact that the semitrailer is not Jacobean hold if it is calyptrate. sent5: the lepidopteron is a cattleman. sent6: the semitrailer is not a kind of a cattleman. sent7: the semitrailer is endodontic. sent8: the lepidopteron is a martensite and/or it is a pad. sent9: the semitrailer is not a kind of a Jacobean if either it does incur or it is calyptrate or both. sent10: something is not a kind of a pad if it is not a Jacobean. ; $proof$ = 
sent1 -> int1: the semitrailer incurs.; int1 -> int2: the semitrailer incurs and/or is calyptrate.; int2 & sent9 -> int3: the fact that the semitrailer is not a Jacobean is correct.; sent10 -> int4: if the semitrailer is not a Jacobean it is not a pad.; int3 & int4 -> int5: the semitrailer is not a kind of a pad.; int5 & sent7 -> int6: the semitrailer is not a pad but it is endodontic.; __UNKNOWN__