that the ultramontane is not a burglary and it is not unseamanlike is not right.
sent1: the emblem is a strand or not unseamanlike or both. sent2: the fact that something is not a burglary and it is not unseamanlike if it is not a barbet is not wrong. sent3: the partition is not a burglary if the emblem is a kind of a barbet and/or it is not a kind of a strand. sent4: the ultramontane is a burglary and/or is a barbet. sent5: the emblem is a kind of a barbet.
sent5 -> int1: the emblem is a kind of a barbet and/or it is not a kind of a strand.; sent3 & int1 -> int2: the fact that the partition is not a kind of a burglary is correct.;
the ultramontane is not a burglary and it is not unseamanlike.
sent2 -> int3: if that the ultramontane is not a barbet is not false it is not a kind of a burglary and it is not unseamanlike.;
$hypothesis$ = that the ultramontane is not a burglary and it is not unseamanlike is not right. ; $context$ = sent1: the emblem is a strand or not unseamanlike or both. sent2: the fact that something is not a burglary and it is not unseamanlike if it is not a barbet is not wrong. sent3: the partition is not a burglary if the emblem is a kind of a barbet and/or it is not a kind of a strand. sent4: the ultramontane is a burglary and/or is a barbet. sent5: the emblem is a kind of a barbet. ; $proof$ = 
sent5 -> int1: the emblem is a kind of a barbet and/or it is not a kind of a strand.; sent3 & int1 -> int2: the fact that the partition is not a kind of a burglary is correct.; __UNKNOWN__