the manhole is not a contrary.
sent1: the manhole is a contrary if it is robust. sent2: there exists something such that it does camouflage QCD. sent3: something is a contrary if the fact that it does not camouflage QCD is not false. sent4: something does not camouflage QCD if it does not maintain Aeolic and it is not a dress. sent5: the spleen is a dress if the cadaverine is robust or it does not maintain delivery or both. sent6: there exists something such that it detribalizes variometer. sent7: there is something such that it maintains delivery. sent8: if something that does camouflage QCD is a kind of a contrary then the spleen does not maintain Aeolic. sent9: The QCD does camouflage manhole. sent10: if the cadaverine does not maintain delivery the spleen does dress. sent11: the cadaverine is not a contrary. sent12: that something is robust hold. sent13: the manhole does camouflage QCD. sent14: the manhole does not camouflage cattle. sent15: the cattle does not maintain Aeolic. sent16: there exists something such that it maintains nominal. sent17: if something is a dress it maintains Aeolic. sent18: either the cadaverine is robust or it does not maintain delivery or both if something is robust.
void -> assump1: Let's assume that the manhole is a contrary.; sent13 & assump1 -> int1: the manhole camouflages QCD and it is a contrary.; int1 -> int2: there exists something such that it does camouflage QCD and is a kind of a contrary.; int2 & sent8 -> int3: the spleen does not maintain Aeolic.; sent17 -> int4: if the spleen is a dress it maintains Aeolic.; sent12 & sent18 -> int5: the cadaverine is robust and/or does not maintain delivery.; sent5 & int5 -> int6: the spleen is a kind of a dress.; int4 & int6 -> int7: the spleen maintains Aeolic.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the manhole is a kind of a contrary.
sent3 -> int9: the manhole is a contrary if it does not camouflage QCD.; sent4 -> int10: that the manhole does not camouflage QCD is correct if it does not maintain Aeolic and does not dress.;
$hypothesis$ = the manhole is not a contrary. ; $context$ = sent1: the manhole is a contrary if it is robust. sent2: there exists something such that it does camouflage QCD. sent3: something is a contrary if the fact that it does not camouflage QCD is not false. sent4: something does not camouflage QCD if it does not maintain Aeolic and it is not a dress. sent5: the spleen is a dress if the cadaverine is robust or it does not maintain delivery or both. sent6: there exists something such that it detribalizes variometer. sent7: there is something such that it maintains delivery. sent8: if something that does camouflage QCD is a kind of a contrary then the spleen does not maintain Aeolic. sent9: The QCD does camouflage manhole. sent10: if the cadaverine does not maintain delivery the spleen does dress. sent11: the cadaverine is not a contrary. sent12: that something is robust hold. sent13: the manhole does camouflage QCD. sent14: the manhole does not camouflage cattle. sent15: the cattle does not maintain Aeolic. sent16: there exists something such that it maintains nominal. sent17: if something is a dress it maintains Aeolic. sent18: either the cadaverine is robust or it does not maintain delivery or both if something is robust. ; $proof$ = 
void -> assump1: Let's assume that the manhole is a contrary.; sent13 & assump1 -> int1: the manhole camouflages QCD and it is a contrary.; int1 -> int2: there exists something such that it does camouflage QCD and is a kind of a contrary.; int2 & sent8 -> int3: the spleen does not maintain Aeolic.; sent17 -> int4: if the spleen is a dress it maintains Aeolic.; sent12 & sent18 -> int5: the cadaverine is robust and/or does not maintain delivery.; sent5 & int5 -> int6: the spleen is a kind of a dress.; int4 & int6 -> int7: the spleen maintains Aeolic.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__