that if the boutique bottoms the territorial is fallible does not hold.
sent1: the Damascene is fallible or is Bayesian or both. sent2: something either is a phon or is inelastic or both. sent3: the Damascene does bottom if the fact that there is something such that it is Bayesian or albitic or both is right. sent4: if the fact that the boutique is albitic hold the Damascene does tincture Lorraine and is non-bottom. sent5: if something either is albitic or is Bayesian or both the Damascene is fallible. sent6: if something is Bayesian or is not non-albitic or both that the territorial is fallible hold. sent7: the territorial is fallible if there are Bayesian things. sent8: if the boutique is bottom the Damascene is albitic. sent9: if the territorial is albitic the Damascene is fallible. sent10: the Damascene is a arete. sent11: the boutique is fallible if the territorial does bottom.
void -> assump1: Let's assume that the boutique is a bottom.; sent8 & assump1 -> int1: the Damascene is albitic.; int1 -> int2: the Damascene is Bayesian or it is albitic or both.; int2 -> int3: something is Bayesian or it is albitic or both.; int3 & sent6 -> int4: the territorial is fallible.; [assump1] & int4 -> hypothesis;
the Damascene either is a arete or tinctures Lorraine or both.
$hypothesis$ = that if the boutique bottoms the territorial is fallible does not hold. ; $context$ = sent1: the Damascene is fallible or is Bayesian or both. sent2: something either is a phon or is inelastic or both. sent3: the Damascene does bottom if the fact that there is something such that it is Bayesian or albitic or both is right. sent4: if the fact that the boutique is albitic hold the Damascene does tincture Lorraine and is non-bottom. sent5: if something either is albitic or is Bayesian or both the Damascene is fallible. sent6: if something is Bayesian or is not non-albitic or both that the territorial is fallible hold. sent7: the territorial is fallible if there are Bayesian things. sent8: if the boutique is bottom the Damascene is albitic. sent9: if the territorial is albitic the Damascene is fallible. sent10: the Damascene is a arete. sent11: the boutique is fallible if the territorial does bottom. ; $proof$ = 
void -> assump1: Let's assume that the boutique is a bottom.; sent8 & assump1 -> int1: the Damascene is albitic.; int1 -> int2: the Damascene is Bayesian or it is albitic or both.; int2 -> int3: something is Bayesian or it is albitic or both.; int3 & sent6 -> int4: the territorial is fallible.; [assump1] & int4 -> hypothesis; __DISPROVED__