the RF is ultramontane.
sent1: that the piglet is not a ultramontane is correct. sent2: the RF is not prepositional. sent3: something is not a commissionaire and it is not expansionist if it is not amniotic. sent4: if something that is a watermark is not prepositional then it is not a kind of a ultramontane. sent5: the RF is a watermark but it is not prepositional. sent6: the fact that the snowcap is unidirectional and it is a ring is not right if the bibliopole does not stumble Leicester. sent7: something is not ultramontane if it is a kind of a watermark and it is prepositional. sent8: the bibliopole does not stumble Leicester if the bedpost is not a commissionaire and not expansionist.
sent4 -> int1: if the RF is a kind of a watermark that is not prepositional then it is not a ultramontane.; int1 & sent5 -> hypothesis;
the RF is a ultramontane.
sent3 -> int2: the bedpost is not a commissionaire and it is not expansionist if the fact that it is not amniotic is not wrong.;
$hypothesis$ = the RF is ultramontane. ; $context$ = sent1: that the piglet is not a ultramontane is correct. sent2: the RF is not prepositional. sent3: something is not a commissionaire and it is not expansionist if it is not amniotic. sent4: if something that is a watermark is not prepositional then it is not a kind of a ultramontane. sent5: the RF is a watermark but it is not prepositional. sent6: the fact that the snowcap is unidirectional and it is a ring is not right if the bibliopole does not stumble Leicester. sent7: something is not ultramontane if it is a kind of a watermark and it is prepositional. sent8: the bibliopole does not stumble Leicester if the bedpost is not a commissionaire and not expansionist. ; $proof$ = 
sent4 -> int1: if the RF is a kind of a watermark that is not prepositional then it is not a ultramontane.; int1 & sent5 -> hypothesis; __DISPROVED__