the Kakemono is a derivative.
sent1: the Kakemono is a derivative if something that is rehabilitative is a contextualism. sent2: if the fact that there exists something such that it is a contextualism that is a derivative is not false the peripatetic is bronchial. sent3: that the perceiver is not a Ethelbert is correct. sent4: something is a kind of bronchial thing that is a Ethelbert. sent5: there exists something such that the fact that it is both hypophyseal and not cancroid is not true. sent6: something is not a derivative if it is a sanitariness and/or not bronchial. sent7: if the beta-adrenoceptor is bronchial the perceiver is bronchial but it is not a Ethelbert. sent8: that the peripatetic is a contextualism if there is something such that it is not non-bronchial and it is not a kind of a Ethelbert hold. sent9: if something is rehabilitative the fact that it is a contextualism but not a Ethelbert does not hold. sent10: the perceiver is rehabilitative if there is something such that the fact that it is hypophyseal and it is not a kind of a cancroid does not hold. sent11: the peripatetic is rehabilitative. sent12: the beta-adrenoceptor is bronchial and it is a sanitariness. sent13: there exists something such that it is a kind of a derivative. sent14: something is not a Ethelbert.
sent12 -> int1: the beta-adrenoceptor is bronchial.; int1 & sent7 -> int2: the perceiver is bronchial but it is not a Ethelbert.; int2 -> int3: something is bronchial but it is not a Ethelbert.; int3 & sent8 -> int4: the peripatetic is a contextualism.; int4 & sent11 -> int5: that the peripatetic is rehabilitative and it is a contextualism is correct.; int5 -> int6: there is something such that it is rehabilitative thing that is a kind of a contextualism.; int6 & sent1 -> hypothesis;
the Kakemono is not a derivative.
sent6 -> int7: if the Kakemono is a sanitariness or it is not bronchial or both it is not a derivative.; sent9 -> int8: if the perceiver is rehabilitative then that it is a contextualism and is not a kind of a Ethelbert does not hold.; sent5 & sent10 -> int9: the perceiver is rehabilitative.; int8 & int9 -> int10: that the perceiver is a contextualism but it is not a Ethelbert is not correct.; int10 -> int11: there is something such that that it is a contextualism and it is not a kind of a Ethelbert does not hold.;
$hypothesis$ = the Kakemono is a derivative. ; $context$ = sent1: the Kakemono is a derivative if something that is rehabilitative is a contextualism. sent2: if the fact that there exists something such that it is a contextualism that is a derivative is not false the peripatetic is bronchial. sent3: that the perceiver is not a Ethelbert is correct. sent4: something is a kind of bronchial thing that is a Ethelbert. sent5: there exists something such that the fact that it is both hypophyseal and not cancroid is not true. sent6: something is not a derivative if it is a sanitariness and/or not bronchial. sent7: if the beta-adrenoceptor is bronchial the perceiver is bronchial but it is not a Ethelbert. sent8: that the peripatetic is a contextualism if there is something such that it is not non-bronchial and it is not a kind of a Ethelbert hold. sent9: if something is rehabilitative the fact that it is a contextualism but not a Ethelbert does not hold. sent10: the perceiver is rehabilitative if there is something such that the fact that it is hypophyseal and it is not a kind of a cancroid does not hold. sent11: the peripatetic is rehabilitative. sent12: the beta-adrenoceptor is bronchial and it is a sanitariness. sent13: there exists something such that it is a kind of a derivative. sent14: something is not a Ethelbert. ; $proof$ = 
sent12 -> int1: the beta-adrenoceptor is bronchial.; int1 & sent7 -> int2: the perceiver is bronchial but it is not a Ethelbert.; int2 -> int3: something is bronchial but it is not a Ethelbert.; int3 & sent8 -> int4: the peripatetic is a contextualism.; int4 & sent11 -> int5: that the peripatetic is rehabilitative and it is a contextualism is correct.; int5 -> int6: there is something such that it is rehabilitative thing that is a kind of a contextualism.; int6 & sent1 -> hypothesis; __PROVED__