the pine is not basilar.
sent1: the pine does not rake transitive. sent2: the pine is not a kind of a Velazquez if something is a TC and it is prostate. sent3: if the fact that the pine is not an application or it does rake transitive or both is not correct then it is not basilar. sent4: if the fact that something is not a kind of an angel is not incorrect then it is a deerberry and it is an efficacy. sent5: if there is something such that it begins skin-diver then the predictor is a kind of a TC. sent6: if the nerve is not an angel the pine is basilar and an efficacy. sent7: the nerve does not begin Turkmenistan if something is an efficacy and is a kind of an angel. sent8: there exists something such that it is an efficacy and it is an angel. sent9: that the nerve is not a kind of an angel is right if the fact that the predictor is a TC that does not begin skin-diver is not correct. sent10: if that something does begin skin-diver hold then it is not a kind of an angel and begins Turkmenistan. sent11: the fact that something is not an application or it does rake transitive or both does not hold if it is not a Velazquez. sent12: if the pine is not a prostate the fact that the predictor is a TC and does not begin skin-diver is incorrect. sent13: if there is something such that it does not begin Turkmenistan or it does begin skin-diver or both the predictor is a TC. sent14: if something is not a TC and is not a kind of a prostate then it begins skin-diver.
sent8 & sent7 -> int1: the nerve does not begin Turkmenistan.; int1 -> int2: the nerve does not begin Turkmenistan and/or it begins skin-diver.; int2 -> int3: something does not begin Turkmenistan and/or it begins skin-diver.; int3 & sent13 -> int4: the predictor is a kind of a TC.; sent11 -> int5: that the pine is not a kind of an application and/or it does rake transitive is incorrect if it is not a Velazquez.;
the pine is basilar.
sent10 -> int6: if the nerve begins skin-diver it is not an angel and does begin Turkmenistan.; sent14 -> int7: if the nerve is not a TC and it is not prostate then it begins skin-diver.;
$hypothesis$ = the pine is not basilar. ; $context$ = sent1: the pine does not rake transitive. sent2: the pine is not a kind of a Velazquez if something is a TC and it is prostate. sent3: if the fact that the pine is not an application or it does rake transitive or both is not correct then it is not basilar. sent4: if the fact that something is not a kind of an angel is not incorrect then it is a deerberry and it is an efficacy. sent5: if there is something such that it begins skin-diver then the predictor is a kind of a TC. sent6: if the nerve is not an angel the pine is basilar and an efficacy. sent7: the nerve does not begin Turkmenistan if something is an efficacy and is a kind of an angel. sent8: there exists something such that it is an efficacy and it is an angel. sent9: that the nerve is not a kind of an angel is right if the fact that the predictor is a TC that does not begin skin-diver is not correct. sent10: if that something does begin skin-diver hold then it is not a kind of an angel and begins Turkmenistan. sent11: the fact that something is not an application or it does rake transitive or both does not hold if it is not a Velazquez. sent12: if the pine is not a prostate the fact that the predictor is a TC and does not begin skin-diver is incorrect. sent13: if there is something such that it does not begin Turkmenistan or it does begin skin-diver or both the predictor is a TC. sent14: if something is not a TC and is not a kind of a prostate then it begins skin-diver. ; $proof$ = 
sent8 & sent7 -> int1: the nerve does not begin Turkmenistan.; int1 -> int2: the nerve does not begin Turkmenistan and/or it begins skin-diver.; int2 -> int3: something does not begin Turkmenistan and/or it begins skin-diver.; int3 & sent13 -> int4: the predictor is a kind of a TC.; sent11 -> int5: that the pine is not a kind of an application and/or it does rake transitive is incorrect if it is not a Velazquez.; __UNKNOWN__