that there exists something such that it is not centroidal and it is a kind of a Photoblepharon is not true.
sent1: the deceiver is not dictatorial and it is not a kind of a morganite. sent2: if the fact that the deceiver is not a kind of a morganite is not wrong then it is not armless and it is not dictatorial. sent3: if the whittler is centroidal then the tine is armless. sent4: that the tine is not armless is not incorrect if there are albuminuric things. sent5: if the fact that the deceiver is dictatorial and is not a kind of a morganite is not wrong the whittler is a kind of a Photoblepharon. sent6: there exists something such that it is a Photoblepharon. sent7: something is not centroidal. sent8: the whittler is a Photoblepharon if the deceiver is not dictatorial and it is not a morganite. sent9: if the deceiver is not dictatorial but it is a morganite then the whittler is a Photoblepharon. sent10: if that the whittler is a kind of a Photoblepharon that is not centroidal is not correct the tine is centroidal. sent11: something is a kind of centroidal thing that is a kind of a Photoblepharon. sent12: the fact that there exists something such that it is albuminuric hold.
void -> assump1: Let's assume that the whittler is centroidal.; sent3 & assump1 -> int1: the tine is armless.; sent12 & sent4 -> int2: the tine is not armless.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the whittler is not centroidal.; sent8 & sent1 -> int5: the whittler is a kind of a Photoblepharon.; int4 & int5 -> int6: the whittler is not centroidal but a Photoblepharon.; int6 -> hypothesis;
the tine is centroidal.
$hypothesis$ = that there exists something such that it is not centroidal and it is a kind of a Photoblepharon is not true. ; $context$ = sent1: the deceiver is not dictatorial and it is not a kind of a morganite. sent2: if the fact that the deceiver is not a kind of a morganite is not wrong then it is not armless and it is not dictatorial. sent3: if the whittler is centroidal then the tine is armless. sent4: that the tine is not armless is not incorrect if there are albuminuric things. sent5: if the fact that the deceiver is dictatorial and is not a kind of a morganite is not wrong the whittler is a kind of a Photoblepharon. sent6: there exists something such that it is a Photoblepharon. sent7: something is not centroidal. sent8: the whittler is a Photoblepharon if the deceiver is not dictatorial and it is not a morganite. sent9: if the deceiver is not dictatorial but it is a morganite then the whittler is a Photoblepharon. sent10: if that the whittler is a kind of a Photoblepharon that is not centroidal is not correct the tine is centroidal. sent11: something is a kind of centroidal thing that is a kind of a Photoblepharon. sent12: the fact that there exists something such that it is albuminuric hold. ; $proof$ = 
void -> assump1: Let's assume that the whittler is centroidal.; sent3 & assump1 -> int1: the tine is armless.; sent12 & sent4 -> int2: the tine is not armless.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the whittler is not centroidal.; sent8 & sent1 -> int5: the whittler is a kind of a Photoblepharon.; int4 & int5 -> int6: the whittler is not centroidal but a Photoblepharon.; int6 -> hypothesis; __DISPROVED__