the ham is a Cabombaceae.
sent1: the riser tunnels Guinean if that the blazer is bulbar or it is economical or both does not hold. sent2: if that the blazer does not tunnel Guinean but it is bulbar is incorrect it is not bulbar. sent3: if the riser does tunnel Guinean it correlates. sent4: the ham is not a correlate. sent5: if the fact that something is a kind of a buskin that is a Cabombaceae is false it is not a Cabombaceae. sent6: if the fact that the blazer is bulbar and/or non-economical is incorrect then the riser tunnels Guinean. sent7: the fact that something does not tunnel Guinean but it is bulbar is not right if it is economical. sent8: if the blazer is a kind of economical thing that tunnels Guinean then the ham is not bulbar. sent9: that either the blazer is bulbar or it is not economical or both is wrong if there is something such that it is a buskin. sent10: if something is not bulbar then the fact that it is a buskin and it is a Cabombaceae is not right. sent11: the ham does not correlate if the riser is a correlate. sent12: the ham is raptorial and is a buskin if the blazer is not bulbar. sent13: if the riser correlates the ham is not a correlates but it is a Cabombaceae.
the ham is not a Cabombaceae.
sent5 -> int1: the ham is not a kind of a Cabombaceae if that it is a buskin and is a Cabombaceae is false.; sent10 -> int2: that the ham is a buskin and is a Cabombaceae does not hold if it is not bulbar.;
$hypothesis$ = the ham is a Cabombaceae. ; $context$ = sent1: the riser tunnels Guinean if that the blazer is bulbar or it is economical or both does not hold. sent2: if that the blazer does not tunnel Guinean but it is bulbar is incorrect it is not bulbar. sent3: if the riser does tunnel Guinean it correlates. sent4: the ham is not a correlate. sent5: if the fact that something is a kind of a buskin that is a Cabombaceae is false it is not a Cabombaceae. sent6: if the fact that the blazer is bulbar and/or non-economical is incorrect then the riser tunnels Guinean. sent7: the fact that something does not tunnel Guinean but it is bulbar is not right if it is economical. sent8: if the blazer is a kind of economical thing that tunnels Guinean then the ham is not bulbar. sent9: that either the blazer is bulbar or it is not economical or both is wrong if there is something such that it is a buskin. sent10: if something is not bulbar then the fact that it is a buskin and it is a Cabombaceae is not right. sent11: the ham does not correlate if the riser is a correlate. sent12: the ham is raptorial and is a buskin if the blazer is not bulbar. sent13: if the riser correlates the ham is not a correlates but it is a Cabombaceae. ; $proof$ = 
__UNKNOWN__