the councillor is nonclassical.
sent1: if the Hoover is not a kind of a yeomanry it is a Estonian. sent2: either the Hoover is not a guyot or it is not nonclassical or both. sent3: the Hoover is instructional. sent4: the warp does not contend if the fact that the dictator is nonextant and it does contend is not true. sent5: the fact that something is nonextant and it does contend does not hold if it is not anticlinal. sent6: that the shrublet is nonclassical is right. sent7: that the councillor is subhuman is correct. sent8: the authorizer is a Estonian if the warp does not contend. sent9: everything is either not a guyot or not a yeomanry or both. sent10: there exists something such that the fact that it is impersonal but not a mealybug is not true. sent11: the councillor is a guyot if the Hoover contends. sent12: the Hoover is not a kind of a guyot and/or it is a yeomanry. sent13: everything is not a yeomanry and/or it does not contend. sent14: if a bank is not econometric it is not anticlinal. sent15: if something is not impersonal it is a bank that is not econometric. sent16: the Hoover is not a Estonian or it does not contend or both. sent17: the system is a Estonian. sent18: either everything is not a guyot or it is a kind of a yeomanry or both. sent19: if the Hoover is a Estonian then the fact that the councillor contends is correct. sent20: if the Hoover is not a guyot or is not a kind of a yeomanry or both it is a Estonian.
sent9 -> int1: the Hoover is not a guyot or is not a yeomanry or both.; int1 & sent20 -> int2: the Hoover is not non-Estonian.; int2 & sent19 -> int3: the councillor contends.;
the councillor is not nonclassical.
sent5 -> int4: if the dictator is not anticlinal the fact that it is nonextant and does contend is false.; sent14 -> int5: the dictator is not anticlinal if it banks and is not econometric.; sent15 -> int6: the dictator banks but it is not econometric if it is not impersonal.;
$hypothesis$ = the councillor is nonclassical. ; $context$ = sent1: if the Hoover is not a kind of a yeomanry it is a Estonian. sent2: either the Hoover is not a guyot or it is not nonclassical or both. sent3: the Hoover is instructional. sent4: the warp does not contend if the fact that the dictator is nonextant and it does contend is not true. sent5: the fact that something is nonextant and it does contend does not hold if it is not anticlinal. sent6: that the shrublet is nonclassical is right. sent7: that the councillor is subhuman is correct. sent8: the authorizer is a Estonian if the warp does not contend. sent9: everything is either not a guyot or not a yeomanry or both. sent10: there exists something such that the fact that it is impersonal but not a mealybug is not true. sent11: the councillor is a guyot if the Hoover contends. sent12: the Hoover is not a kind of a guyot and/or it is a yeomanry. sent13: everything is not a yeomanry and/or it does not contend. sent14: if a bank is not econometric it is not anticlinal. sent15: if something is not impersonal it is a bank that is not econometric. sent16: the Hoover is not a Estonian or it does not contend or both. sent17: the system is a Estonian. sent18: either everything is not a guyot or it is a kind of a yeomanry or both. sent19: if the Hoover is a Estonian then the fact that the councillor contends is correct. sent20: if the Hoover is not a guyot or is not a kind of a yeomanry or both it is a Estonian. ; $proof$ = 
sent9 -> int1: the Hoover is not a guyot or is not a yeomanry or both.; int1 & sent20 -> int2: the Hoover is not non-Estonian.; int2 & sent19 -> int3: the councillor contends.; __UNKNOWN__