the wearer does corrode boar and does corrode ossicle.
sent1: if something that does not corrode stunner is a postbox the fact that it does not corrode bird hold. sent2: if something is a kind of irrational a postbox the fact that it is not ionic is true. sent3: the wearer is not a Trento if it is a picofarad and does clap hesitance. sent4: the fact that the links is not a kind of a rational but it is a postbox is true. sent5: the judge is not ionic. sent6: the wearer is not rational and corrodes ossicle. sent7: if the links is not ionic the fact that the wearer corrodes boar and it does corrode ossicle is not correct. sent8: the wearer is not a postbox.
sent2 -> int1: if the links is not rational but a postbox it is not ionic.; int1 & sent4 -> int2: the fact that the links is not ionic hold.; int2 & sent7 -> hypothesis;
the boar does not corrode bird if it does not corrode stunner and it is a postbox.
sent1 -> hypothesis;
$hypothesis$ = the wearer does corrode boar and does corrode ossicle. ; $context$ = sent1: if something that does not corrode stunner is a postbox the fact that it does not corrode bird hold. sent2: if something is a kind of irrational a postbox the fact that it is not ionic is true. sent3: the wearer is not a Trento if it is a picofarad and does clap hesitance. sent4: the fact that the links is not a kind of a rational but it is a postbox is true. sent5: the judge is not ionic. sent6: the wearer is not rational and corrodes ossicle. sent7: if the links is not ionic the fact that the wearer corrodes boar and it does corrode ossicle is not correct. sent8: the wearer is not a postbox. ; $proof$ = 
sent2 -> int1: if the links is not rational but a postbox it is not ionic.; int1 & sent4 -> int2: the fact that the links is not ionic hold.; int2 & sent7 -> hypothesis; __DISPROVED__