the fact that there exists something such that if it is not diachronic it is nascent but not demonstrative is false.
sent1: the dioxin is not diachronic if the fact that it is not Gaussian is right. sent2: something that is not diachronic is nascent and undemonstrative. sent3: the peafowl does fulminate and is not diachronic if it does not convoy gusher.
sent2 -> int1: the dioxin is nascent but it is not a demonstrative if it is not diachronic.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not diachronic it is nascent but not demonstrative is false. ; $context$ = sent1: the dioxin is not diachronic if the fact that it is not Gaussian is right. sent2: something that is not diachronic is nascent and undemonstrative. sent3: the peafowl does fulminate and is not diachronic if it does not convoy gusher. ; $proof$ = 
sent2 -> int1: the dioxin is nascent but it is not a demonstrative if it is not diachronic.; int1 -> hypothesis; __DISPROVED__