there exists something such that if the fact that it is a sketch is not wrong then it does not salve Zarqa.
sent1: the raiser is a kind of a grinding.
void -> assump2: Let's assume that that the raiser is a sketch hold.; void -> assump1: Let's assume that the raiser does salve Zarqa.; assump2 & assump1 -> int1: the raiser does sketch and it salves Zarqa.;
$hypothesis$ = there exists something such that if the fact that it is a sketch is not wrong then it does not salve Zarqa. ; $context$ = sent1: the raiser is a kind of a grinding. ; $proof$ = 
void -> assump2: Let's assume that that the raiser is a sketch hold.; void -> assump1: Let's assume that the raiser does salve Zarqa.; assump2 & assump1 -> int1: the raiser does sketch and it salves Zarqa.; __UNKNOWN__