that there exists something such that if it is not non-millenarian the fact that it is not a pentastomid and it is a mineral does not hold is false.
sent1: that the hovel aurifies oospore and it is a kind of a metallic is not correct if it is a pentastomid. sent2: if the hovel sunburns then the fact that it is not handmade and is a kind of a phytoplankton is false. sent3: if something is a Wagner the fact that it is both not ornithological and millenarian is false. sent4: the fact that the hovel is not a pentastomid but mineral does not hold if it is a millenarian.
sent4 -> hypothesis;
if the phonologist is a kind of a Wagner the fact that it is not ornithological and is a millenarian is incorrect.
sent3 -> hypothesis;
$hypothesis$ = that there exists something such that if it is not non-millenarian the fact that it is not a pentastomid and it is a mineral does not hold is false. ; $context$ = sent1: that the hovel aurifies oospore and it is a kind of a metallic is not correct if it is a pentastomid. sent2: if the hovel sunburns then the fact that it is not handmade and is a kind of a phytoplankton is false. sent3: if something is a Wagner the fact that it is both not ornithological and millenarian is false. sent4: the fact that the hovel is not a pentastomid but mineral does not hold if it is a millenarian. ; $proof$ = 
sent4 -> hypothesis; __DISPROVED__