the ramie is not a kind of a pole.
sent1: if the fact that the villa is a kind of an overcharge that does not braid resort is not right then the ramie is not a kind of a pole. sent2: that the villa is an overcharge and does not braid resort is incorrect if that the ctenidium does not braid resort is not wrong. sent3: the ultramarine is not a kind of a Norwegian or it does breakfast Carum or both if the lass is a kind of a cine-film. sent4: the lass braids Cetorhinus if the tollgate is not interdisciplinary. sent5: the tollgate does not braid phi. sent6: something is a cine-film if the fact that it does braid Cetorhinus is not false. sent7: the fact that the tollgate is not late and it is not insoluble does not hold if the fact that it does not braid phi hold. sent8: the ctenidium does not braid resort if either the ultramarine is non-Norwegian or it breakfasts Carum or both. sent9: The phi does not braid tollgate.
sent7 & sent5 -> int1: the fact that the tollgate is not late and not insoluble is false.; sent6 -> int2: the lass is a cine-film if the fact that it braids Cetorhinus is true.;
$hypothesis$ = the ramie is not a kind of a pole. ; $context$ = sent1: if the fact that the villa is a kind of an overcharge that does not braid resort is not right then the ramie is not a kind of a pole. sent2: that the villa is an overcharge and does not braid resort is incorrect if that the ctenidium does not braid resort is not wrong. sent3: the ultramarine is not a kind of a Norwegian or it does breakfast Carum or both if the lass is a kind of a cine-film. sent4: the lass braids Cetorhinus if the tollgate is not interdisciplinary. sent5: the tollgate does not braid phi. sent6: something is a cine-film if the fact that it does braid Cetorhinus is not false. sent7: the fact that the tollgate is not late and it is not insoluble does not hold if the fact that it does not braid phi hold. sent8: the ctenidium does not braid resort if either the ultramarine is non-Norwegian or it breakfasts Carum or both. sent9: The phi does not braid tollgate. ; $proof$ = 
sent7 & sent5 -> int1: the fact that the tollgate is not late and not insoluble is false.; sent6 -> int2: the lass is a cine-film if the fact that it braids Cetorhinus is true.; __UNKNOWN__