the vol-au-vent entrusts HDTV.
sent1: the bureaucrat is a kind of a prince's-feather. sent2: the bureaucrat is not southern if it is not anecdotal and it is a prince's-feather. sent3: if there is something such that the fact that it does not entrust Soricidae and it is tactful is wrong then the bureaucrat is not anecdotal. sent4: there exists something such that the fact that it does not entrust Soricidae and it is tactful does not hold. sent5: if the fact that the bureaucrat is not southern is not incorrect then either the cambium is not a oblateness or it is southern or both. sent6: there exists something such that the fact that it is a oblateness and it is a schizopetalon does not hold. sent7: if the shegetz does not orb millerite then the vol-au-vent does not orb millerite but it is a schizopetalon. sent8: the shegetz does not orb millerite if the cambium is not a kind of a oblateness and/or is southern.
sent4 & sent3 -> int1: the bureaucrat is not anecdotal.; int1 & sent1 -> int2: the bureaucrat is not anecdotal and is a prince's-feather.; int2 & sent2 -> int3: the bureaucrat is not southern.; int3 & sent5 -> int4: the cambium is not a kind of a oblateness and/or is southern.; int4 & sent8 -> int5: the shegetz does not orb millerite.; int5 & sent7 -> int6: the vol-au-vent does not orb millerite but it is a kind of a schizopetalon.; int6 -> int7: the vol-au-vent is a schizopetalon.;
$hypothesis$ = the vol-au-vent entrusts HDTV. ; $context$ = sent1: the bureaucrat is a kind of a prince's-feather. sent2: the bureaucrat is not southern if it is not anecdotal and it is a prince's-feather. sent3: if there is something such that the fact that it does not entrust Soricidae and it is tactful is wrong then the bureaucrat is not anecdotal. sent4: there exists something such that the fact that it does not entrust Soricidae and it is tactful does not hold. sent5: if the fact that the bureaucrat is not southern is not incorrect then either the cambium is not a oblateness or it is southern or both. sent6: there exists something such that the fact that it is a oblateness and it is a schizopetalon does not hold. sent7: if the shegetz does not orb millerite then the vol-au-vent does not orb millerite but it is a schizopetalon. sent8: the shegetz does not orb millerite if the cambium is not a kind of a oblateness and/or is southern. ; $proof$ = 
sent4 & sent3 -> int1: the bureaucrat is not anecdotal.; int1 & sent1 -> int2: the bureaucrat is not anecdotal and is a prince's-feather.; int2 & sent2 -> int3: the bureaucrat is not southern.; int3 & sent5 -> int4: the cambium is not a kind of a oblateness and/or is southern.; int4 & sent8 -> int5: the shegetz does not orb millerite.; int5 & sent7 -> int6: the vol-au-vent does not orb millerite but it is a kind of a schizopetalon.; int6 -> int7: the vol-au-vent is a schizopetalon.; __UNKNOWN__