that the vesiculation is not ducal if the vesiculation is not ontological is false.
sent1: the dervish is not ducal. sent2: the Fissipedia is ontological. sent3: if the vesiculation is ontological then it is non-ducal. sent4: the vesiculation is not a Meropidae. sent5: the vesiculation is ducal if that it is not ontological is not incorrect. sent6: if the vesiculation is not a Proterozoic that it is not a Mauriac is not incorrect. sent7: the vesiculation is not a heralded. sent8: the minisub is ducal. sent9: the vesiculation is ontological if it is ducal. sent10: the delavirdine is ontological. sent11: if something is ducal and/or it is not non-reductionist the aerialist is not ontological. sent12: the vesiculation does fidget mustiness. sent13: the vesiculation does not winter. sent14: the convertible is ontological. sent15: the center is not a Bernard if the fact that it is not a kind of an instrument hold. sent16: the vesiculation is naturistic. sent17: the hose is not ducal. sent18: the segregation is ontological.
void -> assump1: Let's assume that the vesiculation is ducal.; sent9 & assump1 -> int1: the vesiculation is ontological.; void -> assump2: Let's assume that the vesiculation is not ontological.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the vesiculation is not ducal.; [assump2] & int3 -> hypothesis;
the aerialist is not ontological.
$hypothesis$ = that the vesiculation is not ducal if the vesiculation is not ontological is false. ; $context$ = sent1: the dervish is not ducal. sent2: the Fissipedia is ontological. sent3: if the vesiculation is ontological then it is non-ducal. sent4: the vesiculation is not a Meropidae. sent5: the vesiculation is ducal if that it is not ontological is not incorrect. sent6: if the vesiculation is not a Proterozoic that it is not a Mauriac is not incorrect. sent7: the vesiculation is not a heralded. sent8: the minisub is ducal. sent9: the vesiculation is ontological if it is ducal. sent10: the delavirdine is ontological. sent11: if something is ducal and/or it is not non-reductionist the aerialist is not ontological. sent12: the vesiculation does fidget mustiness. sent13: the vesiculation does not winter. sent14: the convertible is ontological. sent15: the center is not a Bernard if the fact that it is not a kind of an instrument hold. sent16: the vesiculation is naturistic. sent17: the hose is not ducal. sent18: the segregation is ontological. ; $proof$ = 
void -> assump1: Let's assume that the vesiculation is ducal.; sent9 & assump1 -> int1: the vesiculation is ontological.; void -> assump2: Let's assume that the vesiculation is not ontological.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the vesiculation is not ducal.; [assump2] & int3 -> hypothesis; __DISPROVED__