the fact that there exists something such that that either it is not offing or it is a kind of a Parisian or both is not correct is not true.
sent1: the H-bomb is not Parisian. sent2: everything is humic. sent3: the H-bomb is humic. sent4: there is something such that the fact that it is a kind of a catarrh is not wrong. sent5: there exists nothing that is not offing or is Parisian or both. sent6: there is nothing such that it is not myalgic and/or it dives pecan. sent7: there exists nothing that either does not function inlet or is a metallic or both. sent8: there exists something such that it is offing. sent9: the H-bomb is a kind of a octoroon. sent10: something is not non-hypotensive.
sent5 -> int1: the fact that the H-bomb is non-offing or it is a Parisian or both does not hold.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that that either it is not offing or it is a kind of a Parisian or both is not correct is not true. ; $context$ = sent1: the H-bomb is not Parisian. sent2: everything is humic. sent3: the H-bomb is humic. sent4: there is something such that the fact that it is a kind of a catarrh is not wrong. sent5: there exists nothing that is not offing or is Parisian or both. sent6: there is nothing such that it is not myalgic and/or it dives pecan. sent7: there exists nothing that either does not function inlet or is a metallic or both. sent8: there exists something such that it is offing. sent9: the H-bomb is a kind of a octoroon. sent10: something is not non-hypotensive. ; $proof$ = 
sent5 -> int1: the fact that the H-bomb is non-offing or it is a Parisian or both does not hold.; int1 -> hypothesis; __DISPROVED__