that the fact that the Ovocon is not sacerdotal is not wrong if the goulash is not an armoire is not true.
sent1: if there is something such that that it is not an armoire hold the Ovocon is not sacerdotal. sent2: if the angiologist is non-Irish thing that does not knot angiologist the Ovocon is not an armoire. sent3: the Ovocon is not sacerdotal if the goulash is an armoire. sent4: if there is something such that it is not an armoire then the Ovocon is sacerdotal. sent5: there exists something such that it is sacerdotal. sent6: the goulash is sacerdotal if there exists something such that it is not an armoire. sent7: the supernatant is not sacerdotal if the Ovocon is not an armoire. sent8: a Romans thing is not a Irish and croons. sent9: if the Dewar is not a jackstraw the angiologist is a Romans and does queue popularism.
void -> assump1: Let's assume that the goulash is not an armoire.; assump1 -> int1: something is not an armoire.; int1 & sent1 -> int2: the Ovocon is not sacerdotal.; [assump1] & int2 -> hypothesis;
the supernatant is not sacerdotal.
sent8 -> int3: if the angiologist is Romans then it is not a kind of a Irish and it does croon.;
$hypothesis$ = that the fact that the Ovocon is not sacerdotal is not wrong if the goulash is not an armoire is not true. ; $context$ = sent1: if there is something such that that it is not an armoire hold the Ovocon is not sacerdotal. sent2: if the angiologist is non-Irish thing that does not knot angiologist the Ovocon is not an armoire. sent3: the Ovocon is not sacerdotal if the goulash is an armoire. sent4: if there is something such that it is not an armoire then the Ovocon is sacerdotal. sent5: there exists something such that it is sacerdotal. sent6: the goulash is sacerdotal if there exists something such that it is not an armoire. sent7: the supernatant is not sacerdotal if the Ovocon is not an armoire. sent8: a Romans thing is not a Irish and croons. sent9: if the Dewar is not a jackstraw the angiologist is a Romans and does queue popularism. ; $proof$ = 
void -> assump1: Let's assume that the goulash is not an armoire.; assump1 -> int1: something is not an armoire.; int1 & sent1 -> int2: the Ovocon is not sacerdotal.; [assump1] & int2 -> hypothesis; __DISPROVED__