the sclerite does not company metastability.
sent1: the HDTV is a swan. sent2: if the HDTV companies Astronium and/or it is not bubaline then the sociologist swans. sent3: if something is bubaline then it is not ambulacral and/or it is not a kind of a spouter. sent4: something is not basilar if it depends and it does company pedantry. sent5: if either the sociologist is bubaline or it is not a spouter or both then the spice is ambulacral. sent6: if something escapes then the fact that it is not an assent and/or is irresistible does not hold. sent7: if the sociologist is basilar then that the Southeast does depend but it does not company pedantry does not hold. sent8: the fact that everything does escape is correct. sent9: if the fact that either the apron does not assent or it is not non-irresistible or both is incorrect then the spice does not sign implementation. sent10: The Astronium companies HDTV. sent11: the sclerite does company metastability and companies Astronium if the HDTV does not depend. sent12: the sociologist is basilar and it is indelicate if the spice does not stage sooth. sent13: that the Southeast is non-indelicate thing that does stage sooth is false if the HDTV is not basilar. sent14: the spice is bubaline and it is a swan if it does not sign implementation. sent15: the sociologist is bubaline and/or is not a spouter if the Southeast is a spouter. sent16: if the fact that something is decorous thing that stages sooth is wrong then it is a spouter. sent17: the spice is basilar if that the HDTV does not company Astronium is not false. sent18: the HDTV companies Astronium. sent19: the sociologist depends. sent20: the HDTV does depend if it does company Astronium. sent21: the sclerite does not company metastability if the spice is ambulacral.
sent20 & sent18 -> int1: the HDTV does depend.; sent4 -> int2: the HDTV is not basilar if it depends and it companies pedantry.; sent16 -> int3: if the fact that the Southeast is not indelicate but it stages sooth does not hold then it is a kind of a spouter.;
the sclerite companies metastability.
sent6 -> int4: if the fact that the ratel escapes is not incorrect then the fact that it does not assent and/or is irresistible is not right.; sent8 -> int5: the ratel is a kind of an escape.; int4 & int5 -> int6: the fact that the ratel is not an assent or irresistible or both is not right.; int6 -> int7: there is nothing such that it does not assent or it is irresistible or both.; int7 -> int8: the fact that the apron is not an assent and/or is irresistible is not true.; int8 & sent9 -> int9: that the spice does not sign implementation hold.; int9 & sent14 -> int10: the spice is both bubaline and a swan.; int10 -> int11: the fact that the spice is bubaline is right.; sent3 -> int12: the spice either is non-ambulacral or is not a spouter or both if it is bubaline.; int11 & int12 -> int13: the spice is not ambulacral and/or it is not a spouter.;
$hypothesis$ = the sclerite does not company metastability. ; $context$ = sent1: the HDTV is a swan. sent2: if the HDTV companies Astronium and/or it is not bubaline then the sociologist swans. sent3: if something is bubaline then it is not ambulacral and/or it is not a kind of a spouter. sent4: something is not basilar if it depends and it does company pedantry. sent5: if either the sociologist is bubaline or it is not a spouter or both then the spice is ambulacral. sent6: if something escapes then the fact that it is not an assent and/or is irresistible does not hold. sent7: if the sociologist is basilar then that the Southeast does depend but it does not company pedantry does not hold. sent8: the fact that everything does escape is correct. sent9: if the fact that either the apron does not assent or it is not non-irresistible or both is incorrect then the spice does not sign implementation. sent10: The Astronium companies HDTV. sent11: the sclerite does company metastability and companies Astronium if the HDTV does not depend. sent12: the sociologist is basilar and it is indelicate if the spice does not stage sooth. sent13: that the Southeast is non-indelicate thing that does stage sooth is false if the HDTV is not basilar. sent14: the spice is bubaline and it is a swan if it does not sign implementation. sent15: the sociologist is bubaline and/or is not a spouter if the Southeast is a spouter. sent16: if the fact that something is decorous thing that stages sooth is wrong then it is a spouter. sent17: the spice is basilar if that the HDTV does not company Astronium is not false. sent18: the HDTV companies Astronium. sent19: the sociologist depends. sent20: the HDTV does depend if it does company Astronium. sent21: the sclerite does not company metastability if the spice is ambulacral. ; $proof$ = 
sent20 & sent18 -> int1: the HDTV does depend.; sent4 -> int2: the HDTV is not basilar if it depends and it companies pedantry.; sent16 -> int3: if the fact that the Southeast is not indelicate but it stages sooth does not hold then it is a kind of a spouter.; __UNKNOWN__