the osmund does not oppose pomp.
sent1: the osmund is pupillary and does oppose pomp. sent2: if the blockade is a kind of fatty thing that is not bauxitic then the osmund is not fatty. sent3: the fact that something is a rheumatology and is pupillary is not right if it is not fatty.
sent1 -> hypothesis;
the drool opposes pomp.
sent3 -> int1: if the osmund is not fatty that it is both a rheumatology and pupillary is wrong.;
$hypothesis$ = the osmund does not oppose pomp. ; $context$ = sent1: the osmund is pupillary and does oppose pomp. sent2: if the blockade is a kind of fatty thing that is not bauxitic then the osmund is not fatty. sent3: the fact that something is a rheumatology and is pupillary is not right if it is not fatty. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__