the analphabet is non-long-chain.
sent1: something that is a kind of a pyrolatry that is a Sophist is not long-chain. sent2: if the audiotape is planar it is not a kind of a Boswell. sent3: the fact that the audiotape is planar is right. sent4: the analphabet is a pyrolatry and is a Sophist if the fact that the audiotape is not a kind of a Boswell hold. sent5: the analphabet is a kind of a pyrolatry if the audiotape is not a Boswell. sent6: the analphabet is a kind of a pyrolatry. sent7: the locomotive is atypical. sent8: if something that is not a Boswell is a pyrolatry then it is not planar. sent9: something is both not a Boswell and a pyrolatry if it is not a kind of a Sophist. sent10: if something is not planar it is long-chain.
sent2 & sent3 -> int1: the audiotape is not a Boswell.; int1 & sent4 -> int2: the analphabet is a pyrolatry and a Sophist.; sent1 -> int3: the analphabet is not long-chain if it is a pyrolatry that is a Sophist.; int2 & int3 -> hypothesis;
the analphabet is long-chain.
sent10 -> int4: if the analphabet is not planar then the fact that it is long-chain hold.; sent8 -> int5: the analphabet is not planar if it is not a Boswell and it is a pyrolatry.; sent9 -> int6: if that the analphabet is not a Sophist is right it is not a Boswell and it is a pyrolatry.; sent7 -> int7: there exists something such that it is atypical.;
$hypothesis$ = the analphabet is non-long-chain. ; $context$ = sent1: something that is a kind of a pyrolatry that is a Sophist is not long-chain. sent2: if the audiotape is planar it is not a kind of a Boswell. sent3: the fact that the audiotape is planar is right. sent4: the analphabet is a pyrolatry and is a Sophist if the fact that the audiotape is not a kind of a Boswell hold. sent5: the analphabet is a kind of a pyrolatry if the audiotape is not a Boswell. sent6: the analphabet is a kind of a pyrolatry. sent7: the locomotive is atypical. sent8: if something that is not a Boswell is a pyrolatry then it is not planar. sent9: something is both not a Boswell and a pyrolatry if it is not a kind of a Sophist. sent10: if something is not planar it is long-chain. ; $proof$ = 
sent2 & sent3 -> int1: the audiotape is not a Boswell.; int1 & sent4 -> int2: the analphabet is a pyrolatry and a Sophist.; sent1 -> int3: the analphabet is not long-chain if it is a pyrolatry that is a Sophist.; int2 & int3 -> hypothesis; __PROVED__