that the knockout is not a eparch or a roll or both is not true.
sent1: the micrometer is serologic. sent2: if the friedcake is not a eparch the fact that the knockout either is not a kind of a eparch or does roll or both does not hold. sent3: the guestroom is serologic if the knockout is serologic. sent4: that the micrometer spectates banking or it is not serologic or both is wrong if the fact that the guestroom is serologic is not false. sent5: if the micrometer is not serologic then the fact that the friedcake is not serologic and/or is a eparch is not true. sent6: the knockout is not a kind of a eparch if the fact that the micrometer is a roll or not serologic or both is incorrect. sent7: a heartthrob is not a kind of a eparch and/or does roll. sent8: the friedcake is not a kind of a eparch if that the micrometer spectates banking and/or is not serologic is not right. sent9: the guestroom is a heartthrob.
either the knockout is not a kind of a eparch or it is a roll or both.
sent7 -> int1: the knockout is not a eparch and/or it is a roll if it is a heartthrob.;
$hypothesis$ = that the knockout is not a eparch or a roll or both is not true. ; $context$ = sent1: the micrometer is serologic. sent2: if the friedcake is not a eparch the fact that the knockout either is not a kind of a eparch or does roll or both does not hold. sent3: the guestroom is serologic if the knockout is serologic. sent4: that the micrometer spectates banking or it is not serologic or both is wrong if the fact that the guestroom is serologic is not false. sent5: if the micrometer is not serologic then the fact that the friedcake is not serologic and/or is a eparch is not true. sent6: the knockout is not a kind of a eparch if the fact that the micrometer is a roll or not serologic or both is incorrect. sent7: a heartthrob is not a kind of a eparch and/or does roll. sent8: the friedcake is not a kind of a eparch if that the micrometer spectates banking and/or is not serologic is not right. sent9: the guestroom is a heartthrob. ; $proof$ = 
__UNKNOWN__