the proofreader ambulates.
sent1: there exists something such that the fact that it is not a Kishar and it does not bar Arminian is wrong. sent2: the potential is exhaustible. sent3: there exists something such that the fact that it does not ambulate and is not a kind of a craniology is not right. sent4: if there exists something such that the fact that it is not a Kishar and it does not bar Arminian is not right the bracket is not a craniology. sent5: if the proofreader ambulates that the bracket is a kind of a craniology hold.
void -> assump1: Let's assume that the proofreader ambulates.; sent5 & assump1 -> int1: the bracket is a craniology.; sent1 & sent4 -> int2: the bracket is not a craniology.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the proofreader ambulates. ; $context$ = sent1: there exists something such that the fact that it is not a Kishar and it does not bar Arminian is wrong. sent2: the potential is exhaustible. sent3: there exists something such that the fact that it does not ambulate and is not a kind of a craniology is not right. sent4: if there exists something such that the fact that it is not a Kishar and it does not bar Arminian is not right the bracket is not a craniology. sent5: if the proofreader ambulates that the bracket is a kind of a craniology hold. ; $proof$ = 
void -> assump1: Let's assume that the proofreader ambulates.; sent5 & assump1 -> int1: the bracket is a craniology.; sent1 & sent4 -> int2: the bracket is not a craniology.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__