the DAT is tectonics.
sent1: the fact that the DAT emblazons Tanzim and settles custodianship does not hold. sent2: something does emblazon Tanzim if it is a Elaeagnus. sent3: something is tectonics if it is transpolar. sent4: that the DAT emblazons Tanzim and does not settle custodianship is not true if the fact that it is not a champagne is not incorrect. sent5: something is not tectonics if the fact that it ashes and it is transpolar is false. sent6: something that settles custodianship is an ash. sent7: the DAT is genic if it is a Khepera. sent8: if that something does emblazon Tanzim and does not settle custodianship is wrong it is an ash. sent9: if something is an ash then it is transpolar. sent10: if the DAT settles custodianship it ashes. sent11: that the DAT does emblazon Tanzim and it does settle custodianship is not true if it is not a champagne. sent12: if the DAT is not an affirmative then the fact that it is a buckwheat that is not a Faulkner is not correct. sent13: that the DAT is unawares but it is not a kind of a Douglass does not hold.
sent8 -> int1: if that the DAT emblazons Tanzim and does not settle custodianship is not true then it is an ash.; sent9 -> int2: if the fact that the DAT is not an ash is not right then it is transpolar.; sent3 -> int3: if the DAT is transpolar then it is tectonics.;
if that the DAT is a Elaeagnus is right then it does emblazon Tanzim.
sent2 -> hypothesis;
$hypothesis$ = the DAT is tectonics. ; $context$ = sent1: the fact that the DAT emblazons Tanzim and settles custodianship does not hold. sent2: something does emblazon Tanzim if it is a Elaeagnus. sent3: something is tectonics if it is transpolar. sent4: that the DAT emblazons Tanzim and does not settle custodianship is not true if the fact that it is not a champagne is not incorrect. sent5: something is not tectonics if the fact that it ashes and it is transpolar is false. sent6: something that settles custodianship is an ash. sent7: the DAT is genic if it is a Khepera. sent8: if that something does emblazon Tanzim and does not settle custodianship is wrong it is an ash. sent9: if something is an ash then it is transpolar. sent10: if the DAT settles custodianship it ashes. sent11: that the DAT does emblazon Tanzim and it does settle custodianship is not true if it is not a champagne. sent12: if the DAT is not an affirmative then the fact that it is a buckwheat that is not a Faulkner is not correct. sent13: that the DAT is unawares but it is not a kind of a Douglass does not hold. ; $proof$ = 
sent8 -> int1: if that the DAT emblazons Tanzim and does not settle custodianship is not true then it is an ash.; sent9 -> int2: if the fact that the DAT is not an ash is not right then it is transpolar.; sent3 -> int3: if the DAT is transpolar then it is tectonics.; __UNKNOWN__