the psilophyton is not a purpose.
sent1: there exists something such that it is a kind of a Cepheus. sent2: that the bandbox is not administrative but it is a breakage is not correct if something is a bandoneon. sent3: if the rhinencephalon is not a kind of a CFTR the psilophyton is a Cepheus and it purposes. sent4: the fact that the psilophyton is both a CFTR and nonslippery does not hold. sent5: something is both not a abstractionist and dictatorial if it is not a breakage. sent6: something is a bandoneon. sent7: the fact that something is not nonslippery but it is a CFTR is wrong if it is not a abstractionist. sent8: if something is a Cepheus that the psilophyton is not a CFTR and is nonslippery is not right. sent9: the bandbox is not a breakage if that it is not administrative and it is a breakage does not hold. sent10: the psilophyton is not a purpose if that it is not a CFTR and it is nonslippery is incorrect.
sent1 & sent8 -> int1: that the psilophyton is both not a CFTR and nonslippery does not hold.; int1 & sent10 -> hypothesis;
the psilophyton is a purpose.
sent7 -> int2: the fact that the bandbox is a kind of non-nonslippery a CFTR is false if it is not a abstractionist.; sent5 -> int3: the bandbox is not a abstractionist but it is dictatorial if it is not a breakage.; sent6 & sent2 -> int4: the fact that the bandbox is a kind of non-administrative a breakage does not hold.; sent9 & int4 -> int5: the bandbox is not a breakage.; int3 & int5 -> int6: the bandbox is not a kind of a abstractionist but it is not non-dictatorial.; int6 -> int7: the bandbox is not a abstractionist.; int2 & int7 -> int8: the fact that the bandbox is not nonslippery but it is a CFTR is not right.; int8 -> int9: there exists something such that that it is not nonslippery and it is a CFTR does not hold.;
$hypothesis$ = the psilophyton is not a purpose. ; $context$ = sent1: there exists something such that it is a kind of a Cepheus. sent2: that the bandbox is not administrative but it is a breakage is not correct if something is a bandoneon. sent3: if the rhinencephalon is not a kind of a CFTR the psilophyton is a Cepheus and it purposes. sent4: the fact that the psilophyton is both a CFTR and nonslippery does not hold. sent5: something is both not a abstractionist and dictatorial if it is not a breakage. sent6: something is a bandoneon. sent7: the fact that something is not nonslippery but it is a CFTR is wrong if it is not a abstractionist. sent8: if something is a Cepheus that the psilophyton is not a CFTR and is nonslippery is not right. sent9: the bandbox is not a breakage if that it is not administrative and it is a breakage does not hold. sent10: the psilophyton is not a purpose if that it is not a CFTR and it is nonslippery is incorrect. ; $proof$ = 
sent1 & sent8 -> int1: that the psilophyton is both not a CFTR and nonslippery does not hold.; int1 & sent10 -> hypothesis; __PROVED__