the biprism is not numerological.
sent1: the Marrano is a kind of a partisan if there is something such that the fact that it is not a karat and does bask chess does not hold. sent2: the Marrano is a kind of a Embioptera if that the fact that the advisee boxes autograph and is not a kind of a Namibian is not true is true. sent3: that the Marrano is a kind of a Namibian and does not box autograph is not true if the advisee is not a Embioptera. sent4: if the Marrano does not box autograph then that the advisee is a kind of a Embioptera and is a crane is wrong. sent5: the macho is salivary. sent6: that the advisee is a Embioptera and does box autograph is not true. sent7: the advisee is numerological if the biprism is a kind of a Embioptera. sent8: the fact that the advisee is not a partisan is right if the Marrano is a partisan and it is transdermal. sent9: there exists something such that the fact that it is not a kind of a karat and it does bask chess is not right. sent10: if that the Marrano is a Namibian but it does not box autograph is wrong then the biprism is a kind of a crane. sent11: if that the advisee is nonpartisan is not wrong then that it is not a Embioptera and not a crane does not hold. sent12: the fact that the Marrano is Namibian and it does box autograph is not right if the advisee is not a kind of a Embioptera. sent13: the advisee is not a Embioptera. sent14: that something is numerological if it does crane is true.
sent3 & sent13 -> int1: the fact that the Marrano is a Namibian but it does not box autograph is not right.; int1 & sent10 -> int2: the biprism does crane.; sent14 -> int3: the biprism is numerological if it is a crane.; int2 & int3 -> hypothesis;
the biprism is not numerological.
sent9 & sent1 -> int4: the fact that the Marrano is a partisan is true.; sent5 -> int5: something is salivary.;
$hypothesis$ = the biprism is not numerological. ; $context$ = sent1: the Marrano is a kind of a partisan if there is something such that the fact that it is not a karat and does bask chess does not hold. sent2: the Marrano is a kind of a Embioptera if that the fact that the advisee boxes autograph and is not a kind of a Namibian is not true is true. sent3: that the Marrano is a kind of a Namibian and does not box autograph is not true if the advisee is not a Embioptera. sent4: if the Marrano does not box autograph then that the advisee is a kind of a Embioptera and is a crane is wrong. sent5: the macho is salivary. sent6: that the advisee is a Embioptera and does box autograph is not true. sent7: the advisee is numerological if the biprism is a kind of a Embioptera. sent8: the fact that the advisee is not a partisan is right if the Marrano is a partisan and it is transdermal. sent9: there exists something such that the fact that it is not a kind of a karat and it does bask chess is not right. sent10: if that the Marrano is a Namibian but it does not box autograph is wrong then the biprism is a kind of a crane. sent11: if that the advisee is nonpartisan is not wrong then that it is not a Embioptera and not a crane does not hold. sent12: the fact that the Marrano is Namibian and it does box autograph is not right if the advisee is not a kind of a Embioptera. sent13: the advisee is not a Embioptera. sent14: that something is numerological if it does crane is true. ; $proof$ = 
sent3 & sent13 -> int1: the fact that the Marrano is a Namibian but it does not box autograph is not right.; int1 & sent10 -> int2: the biprism does crane.; sent14 -> int3: the biprism is numerological if it is a crane.; int2 & int3 -> hypothesis; __DISPROVED__