the peba is not a graveness.
sent1: the peba does enact iva. sent2: if the peba is an isthmus then it is not a graveness. sent3: the foster-sister is a kind of a graveness. sent4: the Weizenbock enacts iva and is scalable. sent5: if something does demise juncture it does not quench Pseudococcidae. sent6: if something is an isthmus then it is not a kind of a graveness. sent7: the peba is homonymic. sent8: that something is not a eyecup is not incorrect if it is bibliomaniacal. sent9: the peba is a graveness if the flagship does not badge and does enact iva. sent10: if something is an isthmus and/or it is a badge it is not a graveness.
sent10 -> int1: if the peba is a kind of an isthmus and/or it badges then that it is a graveness is incorrect.;
the peba is a graveness.
$hypothesis$ = the peba is not a graveness. ; $context$ = sent1: the peba does enact iva. sent2: if the peba is an isthmus then it is not a graveness. sent3: the foster-sister is a kind of a graveness. sent4: the Weizenbock enacts iva and is scalable. sent5: if something does demise juncture it does not quench Pseudococcidae. sent6: if something is an isthmus then it is not a kind of a graveness. sent7: the peba is homonymic. sent8: that something is not a eyecup is not incorrect if it is bibliomaniacal. sent9: the peba is a graveness if the flagship does not badge and does enact iva. sent10: if something is an isthmus and/or it is a badge it is not a graveness. ; $proof$ = 
sent10 -> int1: if the peba is a kind of an isthmus and/or it badges then that it is a graveness is incorrect.; __UNKNOWN__