the pencil is a kind of an accessory or it is a Hussein or both.
sent1: the ancestor is a Hussein. sent2: something draws tapestried if it is not a caudate. sent3: the pencil is not a kind of a caudate if the fact that the ancestor is not a kind of a Veratrum but it is caudate is not right. sent4: the ancestor is not a kind of a apomict if the Visayan is not a apomict. sent5: if the fact that the gladdon is traditional and is transatlantic is true the pencil is a kind of an accessory. sent6: the Visayan is not a apomict and/or it does not comfort pencil. sent7: there is something such that the fact that it is traditional thing that is transatlantic is not right. sent8: the pencil is an accessory if the gladdon is both traditional and not transatlantic. sent9: the fatback is a Hussein. sent10: there is something such that it does not vanish. sent11: the ancestor is a apomict if there exists something such that that the fact that it is traditional thing that is not transatlantic is not incorrect does not hold.
void -> assump1: Let's assume that the fact that the gladdon is both traditional and not transatlantic is wrong.; assump1 -> int1: there exists something such that that it is traditional and is not transatlantic is false.; int1 & sent11 -> int2: the ancestor is a apomict.;
that the pencil is either an accessory or a Hussein or both does not hold.
sent2 -> int3: if the pencil is not a kind of a caudate it draws tapestried.;
$hypothesis$ = the pencil is a kind of an accessory or it is a Hussein or both. ; $context$ = sent1: the ancestor is a Hussein. sent2: something draws tapestried if it is not a caudate. sent3: the pencil is not a kind of a caudate if the fact that the ancestor is not a kind of a Veratrum but it is caudate is not right. sent4: the ancestor is not a kind of a apomict if the Visayan is not a apomict. sent5: if the fact that the gladdon is traditional and is transatlantic is true the pencil is a kind of an accessory. sent6: the Visayan is not a apomict and/or it does not comfort pencil. sent7: there is something such that the fact that it is traditional thing that is transatlantic is not right. sent8: the pencil is an accessory if the gladdon is both traditional and not transatlantic. sent9: the fatback is a Hussein. sent10: there is something such that it does not vanish. sent11: the ancestor is a apomict if there exists something such that that the fact that it is traditional thing that is not transatlantic is not incorrect does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the gladdon is both traditional and not transatlantic is wrong.; assump1 -> int1: there exists something such that that it is traditional and is not transatlantic is false.; int1 & sent11 -> int2: the ancestor is a apomict.; __UNKNOWN__