that there is something such that if the fact that it is not catabolic and it is a killifish is not right then it is not earthly is false.
sent1: the fact that something does not sputter Papaver if the fact that it is not catabolic but an enchantment is wrong is correct. sent2: there is something such that if it is catabolic it is not earthly. sent3: there exists something such that if the fact that it is both not catabolic and a killifish is false it is earthly. sent4: if that the stretcher is not catabolic but it is a killifish is not true it is not earthly. sent5: there exists something such that if the fact that it is a kind of non-umbelliform thing that clanks bowling is not correct then it is defiant. sent6: if the stretcher is not a kind of a transactinide and is quotable it is not catabolic.
sent4 -> hypothesis;
if the fact that that the nuncio is not catabolic and is an enchantment hold does not hold then it does not sputter Papaver.
sent1 -> hypothesis;
$hypothesis$ = that there is something such that if the fact that it is not catabolic and it is a killifish is not right then it is not earthly is false. ; $context$ = sent1: the fact that something does not sputter Papaver if the fact that it is not catabolic but an enchantment is wrong is correct. sent2: there is something such that if it is catabolic it is not earthly. sent3: there exists something such that if the fact that it is both not catabolic and a killifish is false it is earthly. sent4: if that the stretcher is not catabolic but it is a killifish is not true it is not earthly. sent5: there exists something such that if the fact that it is a kind of non-umbelliform thing that clanks bowling is not correct then it is defiant. sent6: if the stretcher is not a kind of a transactinide and is quotable it is not catabolic. ; $proof$ = 
sent4 -> hypothesis; __DISPROVED__